Variant 4.9.5.6. Let $\operatorname{\mathcal{C}}$ be a simplicial set. We say that $\operatorname{\mathcal{C}}$ is essentially small if there exists a categorical equivalence $\operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$, where $\operatorname{\mathcal{D}}$ is a small $\infty $-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$