Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
equivalence_of_categories [2014/10/31 20:13] nikolaj |
equivalence_of_categories [2014/11/01 17:54] nikolaj |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ==== Collection ==== | ==== Collection ==== | ||
| | @#55CCEE: context | @#55CCEE: ${\bf C},{\bf D}$ ... categories | | | @#55CCEE: context | @#55CCEE: ${\bf C},{\bf D}$ ... categories | | ||
| - | | @#FFBB00: definiendum | @#FFBB00: $\langle F,G\rangle$ in ${\bf C}\simeq{\bf D}$ | | + | | @#FFBB00: definiendum | @#FFBB00: $F$ in ${\bf C}\simeq{\bf D}$ | |
| | @#AAFFAA: inclusion | @#AAFFAA: $F$ in ${\bf D}\longrightarrow{\bf C}$ | | | @#AAFFAA: inclusion | @#AAFFAA: $F$ in ${\bf D}\longrightarrow{\bf C}$ | | ||
| - | | @#AAFFAA: inclusion | @#AAFFAA: $G$ in ${\bf C}\longrightarrow{\bf D}$ | | + | | @#AAFFAA: exists | @#AAFFAA: $G$ in ${\bf C}\longrightarrow{\bf D}$ | |
| | @#FFFDDD: exists | @#FFFDDD: $\alpha$ in $FG\cong Id_{\bf C}$ | | | @#FFFDDD: exists | @#FFFDDD: $\alpha$ in $FG\cong Id_{\bf C}$ | | ||
| | @#FFFDDD: exists | @#FFFDDD: $\beta$ in $Id_{\bf D}\cong GF$ | | | @#FFFDDD: exists | @#FFFDDD: $\beta$ in $Id_{\bf D}\cong GF$ | | ||
