Category of Finite Sets is Category
Jump to navigation
Jump to search
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$