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.