Kerodon

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

Notation 2.1.2.13. Let $\operatorname{\mathcal{C}}$ be a monoidal category. We will generally use the symbol $\mathbf{1}$ to denote the unit object of $\operatorname{\mathcal{C}}$. In situations where this notation is potentially confusing (for example, if we are comparing $\operatorname{\mathcal{C}}$ with another monoidal category), we will often disambiguate by instead writing $\mathbf{1}_{\operatorname{\mathcal{C}}}$ for the unit object of $\operatorname{\mathcal{C}}$.