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 | ||
|
discrete_category [2014/10/30 11:00] 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:\mathrm{Ob}_{\bf D}$ | | + | | @#FFFDDD: exists | @#FFFDDD: $A\in{\bf D}$ | |
| | @#55EE55: postulate | @#55EE55: $f=1_A$ | | | @#55EE55: postulate | @#55EE55: $f=1_A$ | | ||
