Definition:Finite Category

Definition
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.

Also see

 * Category