Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
discrete_category [2014/10/30 10:59] 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:\mathrm{Ob}_{\bf D}$ | | + | | @#FFFDDD: exists | @#FFFDDD: $A\in{\bf D}$ | |
| | @#55EE55: postulate | @#55EE55: $f=1_A$ | | | @#55EE55: postulate | @#55EE55: $f=1_A$ | | ||
| Line 13: | Line 13: | ||
| === Terminology === | === Terminology === | ||
| The discrete categories with $n$ objects are denoted ${\bf n}$. | The discrete categories with $n$ objects are denoted ${\bf n}$. | ||
| - | |||
| - | === Terminology === | ||
| - | The expression "discrete category" is also used with other meanings, see references. | ||
| === Reference === | === Reference === | ||
