Definition 9.2.8.1. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We say that $\operatorname{\mathcal{C}}$ is essentially finite if there exists a categorical equivalence $K \rightarrow \operatorname{\mathcal{C}}$, where $K$ is a finite simplicial set.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$