Corollary 7.1.8.6. Let $B$ and $K$ be simplicial sets and let $\operatorname{\mathcal{C}}$ be an $\infty $-category. If $\operatorname{\mathcal{C}}$ admits $B$-indexed colimits and $\operatorname{\mathcal{C}}$ admits $K$-indexed colimits, then $\operatorname{\mathcal{C}}$ admits $(B \times K)$-indexed colimits.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$