A morphism of pointed sets[1][2] is equivalently:
- A morphism of $\mathbb {E}_{0}$-monoids in $\webleft (\mathrm{N}_{\bullet }\webleft (\mathsf{Sets}\webright ),\text{pt}\webright )$.
- A morphism of pointed objects in $\webleft (\mathsf{Sets},\text{pt}\webright )$.