This is an old revision of the document!
Cat
Class
| definiendum | ${\bf C}\in\mathrm{it}$ |
>todo
ob, forall mor in U
morphsims=functors
Discussion
The category ${\bf C}$ contains the categories whos collection of objects and hom-classes are sets. Those are called the small categories.
Note that for many interesting categories, only the hom-classes are sets, but not the collection of objects. These categories are only locally small.
Reference
nLab: Cat, Small category, Large category
Parents
Requirements
