\begin{definition}[Definition:One (Category)]
The '''category one''' $\mathbf 1$, is the category with:
{{DefineCategory
|ob = One object: $*$
|mor = One morphism: the identity morphism $\operatorname{id}_*$.
}}
\end{definition}