Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
discrete_category [2014/10/30 11:01] nikolaj |
discrete_category [2014/11/01 18:16] nikolaj |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ==== Collection ==== | ==== Collection ==== | ||
| | @#FFBB00: definiendum | @#FFBB00: ${\bf C}$ in $\mathrm{it}$ | | | @#FFBB00: definiendum | @#FFBB00: ${\bf C}$ in $\mathrm{it}$ | | ||
| - | | @#FFFDDD: exists | @#FFFDDD: $\langle F,G\rangle$ ... equivalence of categories $({\bf C}, {\bf D})$ | | + | | @#FFFDDD: exists | @#FFFDDD: $F$ ... 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{\bf D}$ | | | @#FFFDDD: exists | @#FFFDDD: $A\in{\bf D}$ | | ||
