Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Example 9.2.5.15. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\kappa $ be a regular cardinal. Assume either that $\kappa = \aleph _0$ or that $\operatorname{\mathcal{C}}$ is idempotent-complete, so that $\operatorname{\mathcal{C}}$ is $(\kappa ,\kappa )$-cocomplete (Proposition 9.2.1.14). Then every object $C \in \operatorname{\mathcal{C}}$ is $(\kappa ,\kappa )$-compact. See Example 9.2.2.16.