Definition 9.4.7.8. Let $\operatorname{\mathcal{C}}$ be an accessible $\infty $-category. We say that a subcategory $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$ is accessibly embedded if it is replete (Example 4.4.1.12), accessible, and the inclusion functor $\iota : \operatorname{\mathcal{C}}_0 \hookrightarrow \operatorname{\mathcal{C}}$ is accessible.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$