Kerodon

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

Remark 8.4.5.6. In the situation of Construction 8.4.5.5, the $\infty $-category $\widehat{\operatorname{\mathcal{C}}}$ is independent of the choice of $\kappa $ (provided that $\kappa $ is chosen large enough that $\operatorname{\mathcal{C}}$ is locally $\kappa $-small and each $K \in \mathbb {K}$ is essentially $\kappa $-small).