# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

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}}$.