Cat
Category
| definiendum | ${\bf C}\in{\bf Cat}$ |
| postulate | ${\bf C}$ … category |
| postulate | $\mathrm{Ob}_{\bf C},\mathrm{Mor}_{\bf C} $ … small |
| for all | ${\bf D}\in{\bf Cat}$ |
| postulate | ${\bf Cat}[{\bf C},{\bf D}]$ … functor category $({\bf C},{\bf D})$ |
Discussion
Elaboration
${\bf Cat}$ is the archetypical example for what is called a 2-cateogry: Each hom-class ${\bf Cat}[{\bf C},{\bf D}]$ is again a (ordinary) category.
Specifically, in ${\bf Cat}$, the hom-classes are functor categories and the hom-classes of those are natural transformations.
Predicates
| 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
