Category of Finite Sets is Category

Theorem

Let $\mathbf{Set}$ be the category of finite sets.

Then $\mathbf{Set}$ is a metacategory.

Proof

Mutatis mutandis the same as that of Category of Sets is Category.

$\blacksquare$