Remark 9.4.1.13. In the special case where $\operatorname{\mathcal{C}}= \Delta ^1$, Definition 9.4.1.12 reduces to Definition 9.4.1.8: see Remark 9.4.1.10.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 9.4.1.13. In the special case where $\operatorname{\mathcal{C}}= \Delta ^1$, Definition 9.4.1.12 reduces to Definition 9.4.1.8: see Remark 9.4.1.10.