Remark 8.7.1.6. In the special case where $\operatorname{\mathcal{C}}= \Delta ^1$, Definition 8.7.1.5 reduces to Definition 8.7.1.1: see Remark 8.7.1.3.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 8.7.1.6. In the special case where $\operatorname{\mathcal{C}}= \Delta ^1$, Definition 8.7.1.5 reduces to Definition 8.7.1.1: see Remark 8.7.1.3.