Corollary 9.1.4.5. Let $\operatorname{\mathcal{K}}$ be a small $\infty $-category and let $L$ be a small simplicial set. Suppose that $\operatorname{\mathcal{K}}$-indexed colimits commute with $L$-indexed limits in the $\infty $-category $\operatorname{\mathcal{S}}$. Then the diagonal map $\operatorname{\mathcal{K}}\rightarrow \operatorname{Fun}( L^{\operatorname{op}}, \operatorname{\mathcal{K}})$ is right cofinal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$