Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Example 7.7.0.3. Small colimits are universal in (the nerve of) the category of sets. In fact, this is true even for colimits which are not small, in cases where they exist (Corollary 7.7.3.21).