Corollary 10.3.1.8. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\operatorname{\mathcal{C}}^{0} \subseteq \operatorname{\mathcal{C}}$ be a sieve. Then $\operatorname{\mathcal{C}}^{0}$ is a replete full subcategory of $\operatorname{\mathcal{C}}$. In particular, $\operatorname{\mathcal{C}}^{0}$ is an $\infty $-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$