Remark 4.1.2.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ be a subcategory. Then $\operatorname{\mathcal{C}}'$ is also an $\infty $-category (Remark 4.1.1.9).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$