Definition:One (Category)

Definition
The category $\mathbf 1$, one, is the category:


 * $\qquad *$

with:


 * One object, $*$; and
 * One morphism, the identity morphism $\operatorname{id}_*$.