Proposition 9.2.8.13. Let $\operatorname{\mathcal{C}}$ be a small $\infty $-category. Then $\operatorname{\mathcal{C}}$ is finitely dominated if and only if it is compact when viewed as an object of the $\infty $-category $\operatorname{\mathcal{QC}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$