Category:Category of Finite Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about the category of finite sets.
Definitions specific to this category can be found in Definitions/Category of Finite Sets.

The category of finite sets, denoted $\mathbf{Finset}$ or $\mathbf{Sets}_{\text{fin}}$ is the metacategory with:

Objects:         All finite sets;
Morphisms: All mappings between finite sets.

Pages in category "Category of Finite Sets"

The following 2 pages are in this category, out of 2 total.