Variant 4.7.5.4. 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}$