Definition:Category of Pointed Sets

Definition

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.