Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
my_equivalence_of_categories [2014/10/31 19:57] nikolaj |
my_equivalence_of_categories [2014/10/31 20:14] 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 === | ||
