Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
discrete_category [2014/10/30 11:01] nikolaj |
discrete_category [2014/10/30 11:01] nikolaj |
||
---|---|---|---|
Line 4: | Line 4: | ||
| @#FFFDDD: exists | @#FFFDDD: $\langle F,G\rangle$ ... equivalence of categories $({\bf C}, {\bf D})$ | | | @#FFFDDD: exists | @#FFFDDD: $\langle F,G\rangle$ ... equivalence of categories $({\bf C}, {\bf D})$ | | ||
| @#FFFDDD: for all | @#FFFDDD: $f:\mathrm{Mor}_{\bf D}$ | | | @#FFFDDD: for all | @#FFFDDD: $f:\mathrm{Mor}_{\bf D}$ | | ||
- | | @#FFFDDD: exists | @#FFFDDD: $A\in\mathrm{Ob}_{\bf D}$ | | + | | @#FFFDDD: exists | @#FFFDDD: $A\in{\bf D}$ | |
| @#55EE55: postulate | @#55EE55: $f=1_A$ | | | @#55EE55: postulate | @#55EE55: $f=1_A$ | | ||