Definition 9.2.8.11. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We say that $\operatorname{\mathcal{C}}$ is finitely dominated if it is a retract (in the homotopy category $\mathrm{h} \mathit{\operatorname{QCat}}$) of an essentially finite $\infty $-category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$