Category:Category of Pointed Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about the category of pointed sets.

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: $\mathrm {id}_{\struct {A, a} } := \mathrm {id}_A$, the identity mapping on $A$

Pages in category "Category of Pointed Sets"

This category contains only the following page.