Definition:One (Category)

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


 * $\qquad *$

with:
 * One object: $*$

and:
 * One morphism: the identity morphism $\operatorname{id}_*$.