Kerodon

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

Remark 4.9.4.22. Let $\kappa < \lambda $ be infinite cardinals, where $\lambda $ is regular and has exponential cofinality $\geq \kappa $. Then the collection of isomorphism classes of $\kappa $-small simplicial sets is $\lambda $-small. This follows from Proposition 4.9.4.20 (in the case where $\kappa $ is uncountable) and Variant 4.9.4.21 (in the case where $\kappa = \aleph _0$).