Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
my_equivalence_of_categories [2014/10/31 20:01] 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 invertible gadgets. | Note the two different symbols $\cong$ and $\simeq$. The first is about equivalences, the second about invertible gadgets. | ||
