Definition:Three (Category)

Definition
The category $\mathbf 3$, three, is the category:

with:


 * Three objects, $*$, $\star$ and $\bullet$; and
 * Six morphisms:


 * The three identity morphisms $1_*$, $1_\star$, $1_\bullet$;
 * One non-identity morphism $* \to \star$;
 * One non-identity morphism $\star \to \bullet$;
 * One non-identity morphism $* \to \bullet$.