\begin{definition}[Definition:Category of Categories]
The '''category of categories''', denoted $\mathbf{Cat}$, is the metacategory with:
{{DefineCategory
|ob = small categories
|mor = functors
|comp = composition of functors
|id = identity functors
}}
\end{definition}