\begin{definition}[Definition:Finite Category]
Let $\mathbf C$ be a metacategory.
Then $\mathbf C$ is said to be a '''finite category''' {{iff}} both the collection of its objects $\mathbf C_0$ and the collection of its morphisms $\mathbf C_1$ are finite sets.
\end{definition}