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