Definition:Category of Pointed Sets

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

The morphisms are called pointed mappings.

Also see

 * Category of Pointed Sets is Category