Definition:Two (Category)

Definition
The category $\mathbf 2$, two, is the category:


 * $\quad * \longrightarrow \star$

with:


 * Two objects, $*$ and $\star$
 * Three morphisms:


 * The identity morphism $I_*$
 * The identity morphism $I_\star$
 * One non-identity morphism $* \to \star$

Also see

 * Definition:Empty Category
 * Definition:One (Category)
 * Definition:Three (Category)