Kerodon

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

Remark 4.7.0.4. Let $\kappa $ be an uncountable regular cardinal. We will see later that the essentially $\kappa $-small $\infty $-categories admit a more intrinsic characterization: they are precisely the $\kappa $-compact objects of the $\infty $-category $\operatorname{\mathcal{QC}}$ of $\infty $-categories (see Proposition ).