Remark 9.4.8.3. Let $\operatorname{\mathcal{C}}$ be an accessible $\infty $-category, so that $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$ is also accessible (Proposition 9.4.8.1). Then the full subcategory $\operatorname{Isom}(\operatorname{\mathcal{C}}) \subseteq \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$ spanned by the isomorphisms is accessibly embedded, in the sense of Definition 9.4.7.8.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$