# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Example 4.2.3.3. We define a category $\operatorname{Set}_{\ast }$ as follows:

• The objects of $\operatorname{Set}_{\ast }$ are pairs $(X,x)$, where $X$ is a set and $x \in X$ is an element.

• A morphism from $(X,x)$ to $(Y,y)$ in $\operatorname{Set}_{\ast }$ is a function $f: X \rightarrow Y$ satisfying $f(x) = y$.

We will refer to $\operatorname{Set}_{\ast }$ as the category of pointed sets. The construction $(X,x) \mapsto X$ determines a left covering functor $\operatorname{Set}_{\ast } \rightarrow \operatorname{Set}$ (for a more general assertion, see Remark 4.3.1.6).