Category of pointed sets

This article is about a particular category
View other particular categories

Definition

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

• Its objects are pointed sets. A pointed set is a set along with a distinguished point in that set, called the basepoint of that set.
• Its morphisms are set maps that send the basepoint of the domain to the basepoint of the co-domain.