Remark 8.7.1.13. In the special case where $\operatorname{\mathcal{C}}= \Delta ^1$, Definition 8.7.1.12 reduces to Definition 8.7.1.8: see Remark 8.7.1.10.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 8.7.1.13. In the special case where $\operatorname{\mathcal{C}}= \Delta ^1$, Definition 8.7.1.12 reduces to Definition 8.7.1.8: see Remark 8.7.1.10.