Source: wikibot/category-of-small-categories

= Category of small categories
{wiki=Category_of_small_categories}

The **category of small categories**, often denoted as **Cat**, is a mathematical category in category theory where the objects are small categories (categories that have a hom-set for every pair of objects that is a set, not a proper class) and the morphisms are functors between these categories. \#\#\# Key Elements: 1. **Objects**: The objects of **Cat** are **small categories**.