===== Cat =====
==== Category ====
| @#FFBB00: definiendum | @#FFBB00: ${\bf C}\in{\bf Cat}$ |
| @#55EE55: postulate   | @#55EE55: ${\bf C}$ ... category |
| @#55EE55: postulate   | @#55EE55: $\mathrm{Ob}_{\bf C},\mathrm{Mor}_{\bf C} $ ... small |
| @#FFFDDD: for all     | @#FFFDDD: ${\bf D}\in{\bf Cat}$ |
| @#55EE55: postulate   | @#55EE55: ${\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 ===
| @#EEEE55: predicate   | @#EEEE55: ${\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 category|locally small]], however. 

=== Reference ===
nLab: [[http://ncatlab.org/nlab/show/Cat|Cat]], [[http://ncatlab.org/nlab/show/small+category|Small category]], [[http://ncatlab.org/nlab/show/large+category|Large category]]

==== Parents ====
=== Related ===
[[Locally small category]] 
=== Requirements ===
[[Set universe]], [[Functor category]]