Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
my_equivalence_of_categories [2014/10/31 19:57] nikolaj |
my_equivalence_of_categories [2014/12/04 22:34] nikolaj |
||
---|---|---|---|
Line 9: | Line 9: | ||
==== Discussion ==== | ==== Discussion ==== | ||
=== Elaboration=== | === Elaboration=== | ||
- | $\alpha$ in $FG\cong 1_{\bf C}$ | + | $\alpha$ in $FG\cong Id_{\bf C}$ |
- | $\beta$ in $1_{\bf D}\cong GF$. | + | $\beta$ in $Id_{\bf D}\cong GF$. |
- | Note the two different symbols $\cong$ and $\simeq$. The first is about equivalences, the second about invertibles. | + | Note the two different symbols $\cong$ and $\simeq$. The first is about equivalences, the second about invertible gadgets. |
=== Idea === | === Idea === | ||
Line 25: | Line 25: | ||
==== Parents ==== | ==== Parents ==== | ||
=== Context === | === Context === | ||
- | [[Category]] | + | [[Categories]] |
=== Subset of === | === Subset of === | ||
[[My nice nats]] | [[My nice nats]] |