diff options
Diffstat (limited to 'sections/preliminaries.tex')
| -rw-r--r-- | sections/preliminaries.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sections/preliminaries.tex b/sections/preliminaries.tex index d6d5376..b35b4d3 100644 --- a/sections/preliminaries.tex +++ b/sections/preliminaries.tex @@ -359,6 +359,7 @@ particularly interesting to us is the following fact. \begin{fact} + \label{fact:natural-automorphism} Let $\eta$ be a natural transformation of functors $F, G$ from category $\cC$ to $\cD$. Then $\eta$ is an isomorphism if and only if all of the component morphisms are isomorphisms. |