Kerodon

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

Remark 2.1.2.6. Condition $(\ast )$ of Definition 2.1.2.5 depends only on the object $\mathbf{1} \in \operatorname{\mathcal{C}}$, and not on the choice of isomorphism $\upsilon : \mathbf{1} \otimes \mathbf{1} \xrightarrow {\sim } \mathbf{1}$.