Remark 7.7.1.16. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. If $\overline{\mathscr {F}}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a universal colimit diagram, then it is a colimit diagram. This follows immediately from the definition, since the identity transformation $\operatorname{id}: \overline{\mathscr {F}} \rightarrow \overline{\mathscr {F}}$ is cartesian (Example 7.7.1.2).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$