Kerodon

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

Example 9.2.1.6. Let $X$ be a Kan complex. Then $X$ is $(\kappa ,\lambda )$-cocomplete when viewed as an $\infty $-category, for every pair of regular cardinals $\kappa \leq \lambda $. This follows from Corollary 7.2.3.5, since every filtered $\infty $-category is weakly contractible (Proposition 9.1.1.18).