Kerodon

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

Example 8.7.3.17. Let $\kappa < \lambda $ be infinite cardinals, where $\lambda $ is regular and of exponential cofinality $\geq \kappa $. If an $\infty $-category $\operatorname{\mathcal{C}}$ is essentially $\lambda $-small, then its $\kappa $-cocompletion is also essentially $\lambda $-small.