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.

Also see

• Definition:Category