Definition 9.1.4.2. Let $K$ and $L$ be simplicial sets, and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits $K$-indexed colimits and $L$-indexed limits. We say that $K$-indexed colimits commute with $L$-indexed limits in $\operatorname{\mathcal{C}}$ if the equivalent conditions of Proposition 9.1.4.1 are satisfied.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$