Remark 7.3.8.7. In the special case $\overline{\operatorname{\mathcal{C}}} = \operatorname{\mathcal{C}}^{\triangleright }$, Proposition 7.3.8.6 is essentially a restatement of Proposition 7.3.8.1 (see Example 7.3.3.10).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$