Kerodon

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

Variant 5.5.4.10. Let $\kappa $ be an uncountable cardinal. We let $\operatorname{\mathcal{QC}}^{< \kappa }$ denote the full subcategory of $\operatorname{\mathcal{QC}}$ spanned by the $\infty $-categories which are $\kappa $-small. We will refer to $\operatorname{\mathcal{QC}}^{< \kappa }$ as the $\infty $-category of essentially $\kappa $-small $\infty $-categories.