Warning 9.1.9.7. Definition 9.1.9.6 makes sense for every pair of regular cardinals $\kappa \leq \lambda $. However, it is well-behaved only in the case where $\kappa \trianglelefteq \lambda $, in the sense of Definition 9.1.7.5. Roughly speaking, this condition guarantees that there are “enough” examples of $\lambda $-small $\kappa $-filtered $\infty $-categories (see Corollary 9.1.7.16).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$