Pointed set
= Pointed set
{title2=$(X,x_0)$}
A pointed set is a <set> $X$ with a distinguished element $x_0\in X$. A morphism of pointed sets is a <function> carrying the distinguished element to the distinguished element. The resulting <category of pointed sets> has every singleton as a <zero object>.