Category of small categories
= Category of small categories
{title2=$\mathbf{Cat}$}
Objects are <small categories> and <morphisms> are <functors>. Its products pair objects and arrows componentwise. Its <exponential objects> are <functor categories>, as shown by the <currying adjunction for small categories>.