Definition:Category of Pointed Sets

From ProofWiki
Jump to navigation Jump to search


The category of pointed sets, denoted $\mathbf {Set}_*$, is defined as follows:

Objects:         pointed sets $\struct {A, a}$
Morphisms: pointed mappings
Composition: Standard composition of mappings
Identity morphisms: $\map {\mathrm {id}_{\struct {A, a} } } := \mathrm {id}_A$, the identity mapping on $A$

Also see

  • Results about the category of pointed sets can be found here.