Remark 4.9.5.10 (Products). Let $\kappa $ be an uncountable cardinal and let $\{ \operatorname{\mathcal{C}}_ i \} _{i \in I}$ be a finite collection of simplicial sets which are essentially $\kappa $-small. Then the product ${\prod }_{i \in I} \operatorname{\mathcal{C}}_ i$ is essentially $\kappa $-small. This follows from Corollary 4.9.4.18, since the collection of categorical equivalences is stable under the formation of finite products (Remark 4.5.4.7).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$