Corollary 7.7.3.23. Colimits are universal in the $\infty $-category of spaces $\operatorname{\mathcal{S}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Corollary 7.7.3.23. Colimits are universal in the $\infty $-category of spaces $\operatorname{\mathcal{S}}$.
Proof. Combine Proposition 7.7.3.17 with Corollary 7.7.3.21. $\square$