Kerodon

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

7.1.7 Relative Limits and Colimits

We now introduce a relative version of Definition 7.1.4.4.

Definition 7.1.7.1. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets with restriction $f = \overline{f}|_{K}$, so that $U$ induces a functor $U_{/f}: \operatorname{\mathcal{C}}_{ / f } \rightarrow \operatorname{\mathcal{D}}_{ / (U \circ f) }$. We will say that $\overline{f}$ is a $U$-limit diagram if it is $U_{/f}$-final when viewed as an object of the $\infty $-category $\operatorname{\mathcal{C}}_{/f}$. Similarly, we say that a morphism $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ with restriction $g = \overline{g}|_{K}$ is a $U$-colimit diagram if $\overline{g}$ is $U_{g/}$-initial when viewed as an object of the $\infty $-category $\operatorname{\mathcal{C}}_{g/}$, where $U_{/g}: \operatorname{\mathcal{C}}_{g/} \rightarrow \operatorname{\mathcal{D}}_{ (U \circ g)/ }$ denotes the functor induced by $U$.

Remark 7.1.7.2. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories. Then a morphism $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram if and only if the opposite map $\overline{f}^{\operatorname{op}}: (K^{\operatorname{op}})^{\triangleright } \rightarrow \operatorname{\mathcal{C}}^{\operatorname{op}}$ is an $U^{\operatorname{op}}$-colimit diagram.

Example 7.1.7.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and $U: \operatorname{\mathcal{C}}\rightarrow \Delta ^{0}$ be the projection map. Then a morphism $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram (in the sense of Definition 7.1.7.1) if and only if it is a limit diagram (in the sense of Definition 7.1.4.4). Similarly, a morphism $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram if and only if it is a colimit diagram.

Example 7.1.7.4. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a fully faithful functor of $\infty $-categories. Then every morphism $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram, and every morphism $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram. This follows by combining Example 7.1.6.3 with Corollary 4.6.4.19.

Example 7.1.7.5. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Then an object $C \in \operatorname{\mathcal{C}}$ is $U$-final if and only if it is a $U$-limit diagram when viewed as a morphism of simplicial sets $(\emptyset )^{\triangleleft } \simeq \Delta ^0 \rightarrow \operatorname{\mathcal{C}}$. Similarly, $C$ is $U$-initial if and only if it is a $U$-colimit diagram when viewed as a morphism of simplicial sets $(\emptyset )^{\triangleright } \simeq \Delta ^0 \rightarrow \operatorname{\mathcal{C}}$.

Remark 7.1.7.6. Suppose we are given a commutative diagram of $\infty $-categories

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}\ar [d]^{U} \ar [r]^-{F} & \operatorname{\mathcal{C}}' \ar [d]^{U'} \\ \operatorname{\mathcal{D}}\ar [r] & \operatorname{\mathcal{D}}', } \]

where the horizontal maps are equivalences of $\infty $-categories. Then a morphism of simplicial sets $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram if and only if $F \circ \overline{f}$ is a $U'$-limit diagram. Similarly, a morphism of simplicial sets $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram if and only if $F \circ \overline{g}$ is a $U'$-colimit diagram. This follows by combining Remark 7.1.6.8 with Corollary 4.6.4.18.

Remark 7.1.7.7. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories, and let $V: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor which is isomorphic to $U$ (as an object of the $\infty $-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$). Then a diagram $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram if and only if it is a $V$-limit diagram (see Remark 7.1.6.7). Similarly, a diagram $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram if and only if it is a $V$-colimit diagram.

Remark 7.1.7.8. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories, let $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be a morphism, and set $f = \overline{f}|_{K}$, so that $U$ induces a functor

\[ U': \operatorname{\mathcal{C}}_{ / \overline{f} } \rightarrow \operatorname{\mathcal{C}}_{/f} \times _{ \operatorname{\mathcal{D}}_{/(U \circ f)}} \operatorname{\mathcal{D}}_{ / (U \circ \overline{f} ) }. \]

By virtue of Proposition 7.1.6.12, the following conditions are equivalent:

$(1)$

The morphism $\overline{f}$ is a $U$-limit diagram.

$(2)$

The functor $U'$ is an equivalence of $\infty $-categories.

If $U$ is an inner fibration of $\infty $-categories, then the functor $U'$ is automatically a right fibration (Proposition 4.3.6.8). In this case, we can replace $(1)$ and $(2)$ by either of the following conditions: to the following:

$(3)$

The functor $U'$ is a trivial Kan fibration.

$(4)$

Each fiber of $U'$ is a contractible Kan complex.

The equivalence of $(2) \Leftrightarrow (3)$ follows from Proposition 4.5.7.16, and the equivalence $(3) \Leftrightarrow (4)$ from Proposition 4.4.2.14.

Example 7.1.7.9. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories. Then:

  • A morphism $e$ of $\operatorname{\mathcal{C}}$ is $U$-cartesian (in the sense of Definition 5.1.1.1) if and only if it is a $U$-limit diagram when viewed as a morphism of simplicial sets $(\Delta ^0)^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$.

  • A morphism $f$ of $\operatorname{\mathcal{C}}$ is $U$-cocartesian (in the sense of Definition 5.1.1.1) if and only if it is a $U$-colimit diagram when viewed as a morphism of simplicial sets $(\Delta ^0)^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$.

This follows by combining Remark 7.1.7.8 with Proposition 5.1.1.13.

Example 7.1.7.10. Let $K$ be a weakly contractible simplicial sets and let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a right fibration of $\infty $-categories. Then every morphism $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is an $U$-limit diagram (see Proposition 4.3.7.2). Similarly, if $U$ is a left fibration, then every morphism $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram.

Remark 7.1.7.11. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of $\infty $-categories and let $K$ be a simplicial set. Using Remark 7.1.7.8, we see that a morphism $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram if and only if every lifting problem

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\partial \Delta }^{n} \star K \ar [r]^-{\rho } \ar [d] & \operatorname{\mathcal{C}}\ar [d]^{U} \\ \Delta ^{n} \star K \ar [r] \ar@ {-->}[ur] & \operatorname{\mathcal{D}}} \]

admits a solution, provided that $n \geq 1$ and the the restriction of $\rho $ to $\{ n\} \star K \simeq K^{\triangleleft }$ coincides with $\overline{f}$.

Proposition 7.1.7.12. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$. Then $\overline{f}$ is a $U$-limit diagram if and only if, for every object $C \in \operatorname{\mathcal{C}}$, the diagram of morphism spaces

7.4
\begin{equation} \begin{gathered}\label{equation:U-colimit-by-morphism-space} \xymatrix@R =50pt@C=50pt{ \operatorname{Hom}_{\operatorname{Fun}(K^{\triangleleft }, \operatorname{\mathcal{C}}) }( \underline{C}, \overline{f} ) \ar [r] \ar [d] & \operatorname{Hom}_{\operatorname{Fun}(K, \operatorname{\mathcal{C}}) }( \underline{C}|_{K}, \overline{f}|_{K} ) \ar [d] \\ \operatorname{Hom}_{\operatorname{Fun}(K^{\triangleleft }, \operatorname{\mathcal{D}}) }( U \circ \underline{C}, U \circ \overline{f} ) \ar [r] & \operatorname{Hom}_{\operatorname{Fun}(K, \operatorname{\mathcal{D}}) }( U \circ \underline{C}|_{K}, U \circ \overline{f}|_{K} ) } \end{gathered} \end{equation}

is a homotopy pullback square; here we let $\underline{C} \in \operatorname{Fun}( K^{\triangleleft }, \operatorname{\mathcal{C}})$ denote the constant diagram taking the value $C$.

Proof. Set $f = \overline{f}|_{K}$. Note that the restriction maps

\[ \operatorname{\mathcal{C}}_{/\overline{f}} \rightarrow \operatorname{\mathcal{C}}_{/f } \quad \quad \operatorname{\mathcal{C}}_{/f} \rightarrow \operatorname{\mathcal{C}}\quad \quad \operatorname{\mathcal{D}}_{ / (U \circ \overline{f} )} \rightarrow \operatorname{\mathcal{E}}_{/(U \circ f) } \]

are right fibrations of simplicial sets (Corollary 4.3.6.11). It follows that we can regard the map

\[ U': \operatorname{\mathcal{C}}_{ / \overline{f} } \rightarrow \operatorname{\mathcal{C}}_{/f} \times _{ \operatorname{\mathcal{D}}_{/(U \circ f)}} \operatorname{\mathcal{D}}_{ / (U \circ \overline{f} ) } \]

of Remark 7.1.7.8 as a functor between $\infty $-categories which are right-fibered over $\operatorname{\mathcal{C}}$. Combining Remark 7.1.7.8 with the criterion of Corollary 5.1.5.4, we see that $\overline{f}$ is a $U$-colimit diagram if and only if, for every object $C \in \operatorname{\mathcal{C}}$, the induced map

\[ U'_{C}: \{ C\} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{ / \overline{f} } \rightarrow \{ C\} \times _{ \operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/f} \times _{ \operatorname{\mathcal{D}}_{/(U \circ f)}} \operatorname{\mathcal{D}}_{ / (U \circ \overline{f} ) } \]

is a homotopy equivalence of Kan complexes.

To complete the proof, it will suffice to show that $U'_{C}$ is a homotopy equivalence if and only if the diagram (7.4) is a homotopy pullback square. To see this, we note that Theorem 3.4.1.5 supplies a termwise homotopy equivalence of (7.4) with the diagram

7.5
\begin{equation} \begin{gathered}\label{equation:U-colimit-by-morphism-space2} \xymatrix@R =50pt@C=50pt{ \{ C\} \times _{ \operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{ / \overline{f} } \ar [r] \ar [d] & \{ C\} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/f} \ar [d] \\ \{ U(C) \} \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}_{ / (U \circ \overline{f} )} \ar [r] & \{ U(C) \} \times _{\operatorname{\mathcal{D}}} \operatorname{\mathcal{D}}_{ / (U \circ f) }. } \end{gathered} \end{equation}

It will therefore suffice to show that (7.5) is a homotopy pullback square if and only if $U'_{C}$ is a homotopy equivalence (Corollary 3.4.1.10). This is a special case of Example 3.4.1.5, since the horizontal maps in the diagram (7.5) are Kan fibrations (combine Corollaries 4.3.6.11 and 4.4.3.8). $\square$

Proposition 7.1.7.13. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $\overline{u}, \overline{v}': K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be diagrams which are isomorphic when viewed as objects of the $\infty $-category $\operatorname{Fun}(K^{\triangleleft }, \operatorname{\mathcal{C}})$. Then $\overline{u}$ is a $U$-limit diagram if and only if $\overline{v}$ is a $U$-limit diagram.

Proof. We proceed as in the proof of Corollary 7.1.5.7. Let $\operatorname{Isom}(\operatorname{\mathcal{C}})$ denote the full subcategory of $\operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})$ spanned by the isomorphisms in $\operatorname{\mathcal{C}}$, and define $\operatorname{Isom}(\operatorname{\mathcal{D}}) \subseteq \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{D}})$ similarly. For $i \in \{ 0,1\} $, the evaluation functors

\[ \operatorname{ev}_ i: \operatorname{Isom}(\operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{C}}\quad \quad \operatorname{ev}_ i: \operatorname{Isom}(\operatorname{\mathcal{D}}) \rightarrow \operatorname{\mathcal{D}} \]

are trivial Kan fibrations (Corollary 4.4.5.10), and therefore equivalences of $\infty $-categories (Proposition 4.5.2.10). Our assumption that $\overline{u}$ and $\overline{v}$ are isomorphic guarantees that we can choose a diagram $\overline{w}: K^{\triangleleft } \rightarrow \operatorname{Isom}(\operatorname{\mathcal{C}})$ satisfying $\operatorname{ev}_0 \circ \overline{w} = \overline{u}$ and $\operatorname{ev}_1 \circ \overline{w} = \overline{v}$. Applying Remark 7.1.7.6 to the commutative diagram

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Isom}(\operatorname{\mathcal{C}}) \ar [r]^-{ \operatorname{ev}_0 } \ar [d]^{U'} & \operatorname{\mathcal{C}}\ar [d]^{U} \\ \operatorname{Isom}(\operatorname{\mathcal{D}}) \ar [r]^-{ \operatorname{ev}_0 } & \operatorname{\mathcal{D}}, } \]

we see that $\overline{u}$ is a $U$-limit diagram if and only if $\overline{w}$ is a $U'$-limit diagram. A similar argument shows that this is equivalent to the requirement that $\overline{v}$ is a $U$-limit diagram. $\square$

Proposition 7.1.7.14 (Transitivity). Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and $V: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be functors of $\infty $-categories.

$(1)$

Let $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets such that $U \circ \overline{f}$ is a $V$-limit diagram. Then $\overline{f}$ is a $U$-limit diagram if and only if it is a $(V \circ U)$-limit diagram.

$(2)$

Let $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets such that $U \circ \overline{g}$ is a $V$-colimit diagram. Then $\overline{g}$ is a $U$-colimit diagram if and only if it is a $(V \circ U)$-colimit diagram.

Proof. Apply Remark 7.1.6.5. $\square$

Corollary 7.1.7.15. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ and $V: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be functors of $\infty $-categories, where $V$ is fully faithful. Then:

$(1)$

A morphism $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-limit diagram if and only if it is a $(V \circ U)$-limit diagram.

$(2)$

A morphism $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ is a $U$-colimit diagram if and only if it is a $(V \circ U)$-colimit diagram.

Corollary 7.1.7.16. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Then:

$(1)$

Let $\overline{f}: K^{\triangleleft } \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets such that $U \circ \overline{f}$ is a limit diagram in $\operatorname{\mathcal{D}}$. Then $\overline{f}$ is a limit diagram in $\operatorname{\mathcal{C}}$ if and only if it is a $U$-limit diagram.

$(2)$

Let $\overline{g}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ be a morphism of simplicial sets such that $U \circ \overline{g}$ is a colimit diagram in $\operatorname{\mathcal{D}}$. Then $\overline{g}$ is a colimit diagram in $\operatorname{\mathcal{C}}$ if and only if it is a $U$-colimit diagram.

Proof. Apply Proposition 7.1.7.14 in the case $\operatorname{\mathcal{E}}= \Delta ^{0}$ (and use Example 7.1.7.3). $\square$

Corollary 7.1.7.17. Let $K$ be a weakly contractible simplicial set and let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. If $U$ is a left fibration, then it creates $K$-indexed colimits. If $U$ is a right fibration, then it creates $K$-indexed limits.

Proof. Assume $U$ is a right fibration; we will show that it creates $K$-indexed limits (the analogous statement for left fibrations follows by a similar argument). Let $f: K \rightarrow \operatorname{\mathcal{C}}$ be a diagram and suppose that $U \circ f$ can be extended to a limit diagram $g: K^{\triangleright } \rightarrow \operatorname{\mathcal{D}}$. Since the inclusion $K \hookrightarrow K^{\triangleleft }$ is right anodyne (Example 4.3.7.10), our assumption that $U$ is a right fibration guarantees that the lifting problem

\[ \xymatrix@R =50pt@C=50pt{ K \ar [d] \ar [r]^-{f} & \operatorname{\mathcal{C}}\ar [d]^{U} \\ K^{\triangleleft } \ar [r]^-{g} \ar@ {-->}[ur]^{ \overline{f} } & \operatorname{\mathcal{D}}} \]

has a solution. Since $K$ is weakly contractible, the morphism $\overline{f}$ is automatically a $U$-limit diagram (Example 7.1.7.10). Applying Corollary 7.1.7.16, we see that $\overline{f}$ is a limit diagram. $\square$

Corollary 7.1.7.18. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories and let $K$ be a weakly contractible simplicial set. Then:

  • If $U$ is a right fibration and the $\infty $-category $\operatorname{\mathcal{D}}$ admits $K$-indexed limits, then $\operatorname{\mathcal{C}}$ also admits $K$-indexed limits and $U$ preserves $K$-indexed limits.

  • If $U$ is a left fibration and the $\infty $-category $\operatorname{\mathcal{D}}$ admits $K$-indexed colimits, then $\operatorname{\mathcal{C}}$ also admits $K$-indexed colimits and $U$ preserves $K$-indexed colimits.

Proposition 7.1.7.19 (Base Change). Suppose we are given a commutative diagram of $\infty $-categories

7.6
\begin{equation} \begin{gathered}\label{equation:base-change-relative-limit5} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}' \ar [rr]^{F'} \ar [dr]^{U'} \ar [dd]^{G} & & \operatorname{\mathcal{D}}' \ar [dl] \ar [dd] \\ & \operatorname{\mathcal{E}}' \ar [dd] & \\ \operatorname{\mathcal{C}}\ar [dr]^{ U } \ar [rr]^{F} & & \operatorname{\mathcal{D}}\ar [dl]^{V} \\ & \operatorname{\mathcal{E}}& } \end{gathered} \end{equation}

where each square is a pullback and the diagonal maps are inner fibrations. Let $\overline{f}: K^{\triangleright } \rightarrow \operatorname{\mathcal{C}}'$ be a morphism of simplicial sets. Then:

$(1)$

If $G \circ \overline{f}$ is an $F$-colimit diagram in the $\infty $-category $\operatorname{\mathcal{C}}$, then $\overline{f}$ is an $F'$-colimit diagram in the $\infty $-category $\operatorname{\mathcal{C}}'$.

$(2)$

Assume that $U$ and $V$ are cartesian fibrations, and that the functor $F$ carries $U$-cartesian morphisms of $\operatorname{\mathcal{C}}$ to $V$-cartesian morphisms of $\operatorname{\mathcal{D}}$. If $\overline{f}$ is an $F'$-colimit diagram in the $\infty $-category $\operatorname{\mathcal{C}}'$, then $G \circ \overline{f}$ is an $F$-colimit diagram in the $\infty $-category $\operatorname{\mathcal{C}}$.

Proof. Set $f = \overline{f}|_{K}$. By virtue of Corollary 4.3.6.10 and Proposition 5.1.4.17, we can replace (7.6) by the commutative diagram

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}'_{f/} \ar [rr] \ar [dr] \ar [dd] & & \operatorname{\mathcal{D}}'_{ (F' \circ f)/} \ar [dl] \ar [dd] \\ & \operatorname{\mathcal{E}}'_{ (U' \circ f)/} \ar [dd] & \\ \operatorname{\mathcal{C}}_{ (G \circ f)/ } \ar [dr] & & \operatorname{\mathcal{D}}_{ (F \circ G \circ f)/} \ar [dl] \\ & \operatorname{\mathcal{E}}_{ (U \circ G \circ f)/} & } \]

and thereby reduce to the special case $K = \emptyset $. In this case, the desired result follows from Proposition 7.1.6.15. $\square$

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.

Proof. Apply Proposition 7.1.7.19 in the special case $\operatorname{\mathcal{E}}= \operatorname{\mathcal{D}}$ and $\operatorname{\mathcal{E}}' = \{ D\} $. $\square$

Remark 7.1.7.21. Corollary 7.1.7.20 has an obvious counterpart for $U$-limit diagrams under the assumption that $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a cocartesian fibration, which can be proved in the same way. It also has a more subtle counterpart for $U$-colimit diagrams when $U$ is a cocartesian fibration (or $U$-limit diagrams when $U$ is a cartesian fibration), which we will discuss in ยง7.4.8 (see Proposition 7.4.8.2).