Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
my_nice_nats [2014/11/02 13:45] nikolaj |
my_nice_nats [2014/11/02 13:46] nikolaj |
||
|---|---|---|---|
| Line 16: | Line 16: | ||
| === Theorems === | === Theorems === | ||
| - | Since $FG$ is a functor and there is a natural transformation, the structural properties "around" $FGX$ and $X$ are equivalent. However, only when that nat is an isomorphisms is $F$ fully faithful and dense. | + | Since $FG$ is a functor and there is a natural transformation, the structural properties "around" $FGX$ and $X$ are equivalent. However, only when the nats are isomorphisms (as in [[my equivalence of categories]]) is $F$ fully faithful and dense. |
| ==== Parents ==== | ==== Parents ==== | ||
