Definition:Category of Pointed Sets

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

The morphisms are called pointed mappings.

By Category of Pointed Sets is Category, this is indeed a category.