Category:Definitions/Category of Sets

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to the Category of Sets.
Related results can be found in Category:Category of Sets.

The category of sets, denoted $\mathbf{Set}$ or $\mathbf{Sets}$ is the metacategory with:

Objects:         sets
Morphisms: mappings
Composition: composition of mappings
Identity morphisms: identity mappings