Corollary 7.1.7.20. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories, let $D \in \operatorname{\mathcal{D}}$ be an object, and let
\[ \overline{f}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}_{D} = \{ D\} \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{C}} \]
be a diagram. If $\overline{f}$ is a $U$-colimit diagram in $\operatorname{\mathcal{C}}$, then it is a colimit diagram in the $\infty $-category $\operatorname{\mathcal{C}}_{D}$. The converse holds if $U$ is a cartesian fibration.