Example 2.1.2.7. Let $\operatorname{\mathcal{C}}$ be a strict monoidal category, and let $\mathbf{1} \in \operatorname{\mathcal{C}}$ be the strict unit (Remark 2.1.2.2). Then $( \mathbf{1}, \operatorname{id}_{ \mathbf{1} } )$ is a unit of $\operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$