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

Corollary Let $\lambda $ be an infinite cardinal and let $\kappa = \mathrm{ecf}(\lambda )$ be its exponential cofinality (Definition Then the collection of $\lambda $-small simplicial sets is closed under $\kappa $-small products.

Proof. Let $\{ S_ i \} _{i \in I}$ be a collection of $\lambda $-small simplicial sets indexed by a $\kappa $-small set $I$; we wish to show that the product $S = {\prod }_{i \in I} S_ i$ is $\lambda $-small. If $\kappa = \aleph _0$, this follows from Corollary We may therefore assume that $\kappa $ is uncountable. Then the cofinality $\mathrm{cf}(\lambda )$ is also uncountable (Remark The desired result now follows from the criterion of Proposition, since the collection of $\lambda $-small sets is closed under $\kappa $-small products. $\square$