# Definition:Finite Category

## Definition

Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is said to be a finite category if and only if both the collection of its objects $\mathbf C_0$ and the collection of its morphisms $\mathbf C_1$ are finite sets.