Remark 7.7.2.14. Let $K$ be a simplicial set and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which admits pullbacks and $K$-indexed colimits. It follows from Theorem 7.7.2.8 that if $F: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a strongly universal colimit diagram, then it is a universal colimit diagram (and therefore a colimit diagram).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$