You are here
Homecategory of small categories
Primary tabs
category of small categories
The category Cat of small categories consists of all small categories as objects, and, functors between small categories as morphisms. The composition of morphisms in Cat is the functor composition, and, associated with each small category, the identity functor acts as the identity morphism. Now, Cat is indeed a category, since $\hom(\mathcal{C},\mathcal{D})$, the class of all functors from $\mathcal{C}$ to $\mathcal{D}$ is a set. The proof of this fact can be found here.
Here are some of the basic properties of Cat:
1. It has arbitrary products
2. It has arbitrary coproducts
3. Initial object exists: the initial object is the empty category and the associated empty functor.
4. Terminal object exists: the terminal object is any trivial category and the associated constant functor into the trival category.
5. It has pullbacks. See this entry. So it has equalizers, and therefore, it is complete.
6. however, it does have coequalizers. This, together with 2 above, shows that it is cocomplete.
Remarks.

If we replace functors in $\hom(\mathcal{C},\mathcal{D})$ by natural transformations between pairs of functors from $\mathcal{C}$ to $\mathcal{D}$, and composition of morphisms the horizontal composition $\circ$ of natural transformations, then we again end up with a category (provided that both $\mathcal{C}$ and $\mathcal{D}$ are small). Indeed, every natural transformation $\eta$ between two functors from $\mathcal{C}$ to $\mathcal{D}$ is a set function from the set of objects of $\mathcal{C}$ to the set of morphisms of $\mathcal{D}$. As a result, $\hom(\mathcal{C},\mathcal{D})$ is a subcollection of the set of all functions from $\operatorname{Ob}(\mathcal{C})$ to $\operatorname{Mor}(\mathcal{D})$, and hence a set. For more detail, please see this entry.

If we remove the requirement that each object in Cat be small, then $\hom(\mathcal{C},\mathcal{D})$ may no longer be a set, and we end up with a large category.
Mathematics Subject Classification
18D05 no label found18B99 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
 Corrections
Comments
equalizers
6 looks wrong. If a category has pullbacks and products then it will also have equalizers.
See Proposition 11.14 on page 198 of http://katmat.math.unibremen.de/acc/acc.pdf
Re: equalizers
You're right! Not sure what I was thinking... I have made the correction. Thanks.