diff options
| author | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-17 23:22:37 +0200 |
|---|---|---|
| committer | Franciszek Malinka <franciszek.malinka@gmail.com> | 2022-07-17 23:22:37 +0200 |
| commit | ef3fc25228cc13c9f39192813653b1b6dc339406 (patch) | |
| tree | 69168435e9c11b1a4b217eaae81b2b350e482939 /sections/preliminaries.tex | |
| parent | 3379b5851e1dd3096e832215b5685ec9f058ebb0 (diff) | |
Szkola orlow finish!
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. |