This is an old revision of the document!
Cat
Category
| definiendum | ${\bf C}\in{\bf Cat}$ |
| postulate | $\mathrm{Ob}_{\bf C},\mathrm{Mor}_{\bf C} $ … small |
| for all | $F:\mathrm{Mor}_{\bf C}$ |
| postulate | $F$ … functor |
Discussion
Some denote by ${\bf C}$ the 2-category (where there are maps between the morphisms), instead of just a category.
| predicate | ${\bf C}$ … small $\equiv {\bf C}$ in ${\bf Cat}$ |
In a small category, both $\mathrm{Ob}_{\bf C}$ and $\mathrm{Mor}_{\bf C}$ are proper sets. See Set universe for the definition of the smallness predicate.
The category of small posets is small itself. But for example, the categories of small sets, small topological spaces, small vector spaces or small groups is not small. The latter are locally small, however.
Reference
nLab: Cat, Small category, Large category
Parents
Related
Requirements
