Theorem 7.7.0.4. Let $\operatorname{\mathcal{S}}$ denote the $\infty $-category of spaces (Construction 5.5.1.1). Then the colimit of any small diagram $K \rightarrow \operatorname{\mathcal{S}}$ is strongly universal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$