Kerodon

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

Remark 4.7.5.8 (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 by combining Corollary 4.7.4.14, since the collection of categorical equivalences is stable under the formation of finite products (Remark 4.5.3.7).