7.4.3 Colimits of $\infty $-Categories
Let $\operatorname{\mathcal{QC}}$ denote the $\infty $-category of (small) $\infty $-categories (Construction 5.5.4.1). Our goal in this section is to show that the $\infty $-category $\operatorname{\mathcal{QC}}$ admits small colimits (Corollary 7.4.3.13). In fact, we will prove something more precise: if $\operatorname{\mathcal{C}}$ is a small $\infty $-category, then the colimit of any diagram $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ can be described explicitly as the localization $(\int _{\operatorname{\mathcal{C}}} \mathscr {F})[W^{-1} ]$, where $\int _{\operatorname{\mathcal{C}}} \mathscr {F}$ denotes the $\infty $-category of elements of $\mathscr {F}$ (Definition 5.6.2.4) and $W$ is the collection of all morphisms of $\int _{\operatorname{\mathcal{C}}} \mathscr {F}$ which are cocartesian with respect to the forgetful functor $U: \int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow \operatorname{\mathcal{C}}$ (Corollary 7.4.3.12).
We begin with some general remarks. Let $\operatorname{\mathcal{C}}^{\triangleright }$ denote the right cone on on a simplicial set $\operatorname{\mathcal{C}}$ (Construction 4.3.3.26), and let ${\bf 1} \in \operatorname{\mathcal{C}}^{\triangleright }$ denote the cone point. For every vertex $C \in \operatorname{\mathcal{C}}$, there is a unique edge $e_{C}: C \rightarrow {\bf 1}$ in $\operatorname{\mathcal{C}}^{\triangleright }$. If $\overline{U}: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{C}}^{\triangleright }$ is a cocartesian fibration of simplicial sets, then covariant transport along $e_{C}$ determines a functor
\[ e_{C!}: \overline{\operatorname{\mathcal{E}}}_{C} = \{ C\} \times _{\operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}} \rightarrow \{ {\bf 1} \} \times _{ \operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}} = \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }. \]
In what follows, it will be convenient to amalgamate the functors $\{ e_{C!} \} _{C \in \operatorname{\mathcal{C}}}$ into a single morphism $\mathrm{Rf}: \operatorname{\mathcal{C}}\times _{\operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}} \rightarrow \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$, which we will refer to as the covariant refraction diagram.
Definition 7.4.3.1. Let $\operatorname{\mathcal{C}}$ be a simplicial set, and let ${\bf 1}$ denote the cone point of the simplicial set $\operatorname{\mathcal{C}}^{\triangleright } \simeq \operatorname{\mathcal{C}}\star \{ {\bf 1} \} $. Suppose that we are given a cocartesian fibration $\overline{U}: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{C}}^{\triangleright }$, and set
\[ \operatorname{\mathcal{E}}= \operatorname{\mathcal{C}}\times _{ \operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}} \quad \quad \overline{\operatorname{\mathcal{E}}}_{{\bf 1}} = \{ {\bf 1} \} \times _{\operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}}. \]
We will say that a morphism $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ is a covariant refraction diagram if there exists a morphism of simplicial sets $H: \Delta ^1 \times \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}$ satisfying the following conditions:
The restriction $H|_{ \{ 0\} \times \operatorname{\mathcal{E}}}$ is the identity morphism from $\operatorname{\mathcal{E}}$ to itself.
The restriction $H|_{ \{ 1\} \times \operatorname{\mathcal{E}}}$ is equal to $\mathrm{Rf}$.
For every vertex $X \in \operatorname{\mathcal{E}}$, the restriction $H|_{ \Delta ^1 \times \{ X\} }$ is a $\overline{U}$-cocartesian edge of $\overline{\operatorname{\mathcal{E}}}$.
Proposition 7.4.3.3. Let $\overline{U}: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{C}}^{\triangleright }$ be a cocartesian fibration of simplicial sets, set $\operatorname{\mathcal{E}}= \operatorname{\mathcal{C}}\times _{\operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}}$, and let ${\bf 1}$ denote the cone point of $\operatorname{\mathcal{C}}^{\triangleright }$. Then:
- $(1)$
There exists a covariant refraction diagram $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ (Definition 7.4.3.1).
- $(2)$
Let $F: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{{\bf 1}}$ be any morphism of simplicial sets. Then $F$ is a covariant refraction diagram if and only if it is isomorphic to $\mathrm{Rf}$ as an object of the $\infty $-category $\operatorname{Fun}( \operatorname{\mathcal{E}}, \overline{\operatorname{\mathcal{E}}}_{{\bf 1}} )$.
Proof.
This is a special case of Lemma 5.2.2.13.
$\square$
Example 7.4.3.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let ${\bf 1}$ denote the cone point of $\operatorname{\mathcal{C}}^{\triangleright }$. Using Example 5.2.3.18, we see that the tautological map $V: \operatorname{\mathcal{C}}^{\triangleright } \rightarrow (\Delta ^{0})^{\triangleright } \simeq \Delta ^1$ is a cocartesian fibration. If $\overline{U}: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{C}}^{\triangleright }$ is another cocartesian fibration, then the $\infty $-categories $\operatorname{\mathcal{E}}= \operatorname{\mathcal{C}}\times _{\operatorname{\mathcal{C}}^{\triangleright }} \overline{\operatorname{\mathcal{E}}}$ and $\overline{\operatorname{\mathcal{E}}}_{ {\bf 1} } = \{ {\bf 1} \} \times _{ \operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}}$ can be identified with the fibers of the composite map
\[ (V \circ \overline{U} ): \overline{\operatorname{\mathcal{E}}} \rightarrow \Delta ^1, \]
which is also a cocartesian fibration (Proposition 5.1.4.13). In this case, the covariant refraction diagram $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ of Proposition 7.4.3.3 is given by covariant transport for the cocartesian fibration $V \circ \overline{U}$ (along the nondegenerate edge of $\Delta ^1$).
Our study of colimits in the $\infty $-category $\operatorname{\mathcal{QC}}$ will make use of the following recognition principle for colimits in the $\infty $-category $\operatorname{\mathcal{QC}}$:
Theorem 7.4.3.6 (Refraction Criterion). Suppose we are given a pullback diagram of small simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [d]^{U} \ar [r] & \overline{\operatorname{\mathcal{E}}} \ar [d]^{ \overline{U} } \\ \operatorname{\mathcal{C}}\ar [r] & \operatorname{\mathcal{C}}^{\triangleright }, } \]
where $U$ and $\overline{U}$ are cocartesian fibrations. Let ${\bf 1}$ denote the cone point of $\operatorname{\mathcal{C}}^{\triangleright }$ and let $W$ be the collection of all $U$-cocartesian edges of $\operatorname{\mathcal{E}}$. The following conditions are equivalent:
- $(1)$
The covariant refraction diagram $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ of Proposition 7.4.3.3 exhibits $\overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ as a localization of $\operatorname{\mathcal{E}}$ with respect $W$.
- $(2)$
The covariant transport representation $\operatorname{Tr}_{ \overline{\operatorname{\mathcal{E}}} / \operatorname{\mathcal{C}}^{\triangleright } }: \operatorname{\mathcal{C}}^{\triangleright } \rightarrow \operatorname{\mathcal{QC}}$ of Notation 5.6.5.14 is a colimit diagram in the $\infty $-category $\operatorname{\mathcal{QC}}$.
Exercise 7.4.3.8. Let $\overline{U}: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{C}}^{\triangleright }$ and $\overline{U}': \overline{\operatorname{\mathcal{E}}}' \rightarrow \operatorname{\mathcal{C}}^{\triangleright }$ be cocartesian fibrations of simplicial sets which are equivalent as inner fibrations over $\operatorname{\mathcal{C}}^{\triangleright }$ (in the sense of Definition 5.1.7.1). Show that $\overline{U}$ satisfies condition $(1)$ of Theorem 7.4.3.6 if and only if $\overline{U}'$ satisfies condition $(1)$ of Theorem 7.4.3.6.
We will prove Theorem 7.4.3.6 in §7.4.4. The remainder of this section is devoted to explaining some of its consequences. We begin by showing that there is a good supply of cocartesian fibrations which satisfy the assumptions of Theorem 7.4.3.6.
Proposition 7.4.3.9. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of simplicial sets and let ${\bf 1}$ denote the cone point of $\operatorname{\mathcal{C}}^{\triangleright }$. Then there exists a pullback diagram
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [d]^{U} \ar [r] & \overline{\operatorname{\mathcal{E}}} \ar [d]^{\overline{U}} \\ \operatorname{\mathcal{C}}\ar [r] & \operatorname{\mathcal{C}}^{\triangleright }, } \]
where $\overline{U}$ is a cocartesian fibration and a covariant refraction diagram $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ which exhibits $\overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ as a localization of $\operatorname{\mathcal{E}}$ with respect to the collection of all $U$-cocartesian edges of $\operatorname{\mathcal{E}}$.
Proof.
Let $W$ be the collection of all $U$-cocartesian edges of $\operatorname{\mathcal{E}}$. Applying Proposition 6.3.2.1, we deduce that there exists an $\infty $-category $\operatorname{\mathcal{E}}[W^{-1}]$ and a diagram $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{E}}[W^{-1}]$ which exhibits $\operatorname{\mathcal{E}}[W^{-1}]$ as a localization of $\operatorname{\mathcal{E}}$ with respect to $W$. In particular, the diagram $\mathrm{Rf}$ carries each $U$-cocartesian edge of $\operatorname{\mathcal{E}}$ to an isomorphism in $\operatorname{\mathcal{E}}[W^{-1}]$. Let $\overline{\operatorname{\mathcal{E}}}$ denote the relative join $\operatorname{\mathcal{E}}\star _{ \operatorname{\mathcal{E}}[W^{-1}] } \operatorname{\mathcal{E}}[W^{-1}]$ (Construction 5.2.3.1). Applying Lemma 5.2.3.17 to the commutative diagram
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [r]^-{ \mathrm{Rf}} \ar [d]^{U} & \operatorname{\mathcal{E}}[W^{-1} ] \ar [d] \\ \operatorname{\mathcal{C}}\ar [r] & \Delta ^0, } \]
we deduce that vertical maps induce a cocartesian fibration
\[ \overline{U}: \overline{\operatorname{\mathcal{E}}} = \operatorname{\mathcal{E}}\star _{ \operatorname{\mathcal{E}}[W^{-1}] } \operatorname{\mathcal{E}}[W^{-1}] \rightarrow \operatorname{\mathcal{C}}\star _{\Delta ^0} \Delta ^0 \simeq \operatorname{\mathcal{C}}^{\triangleright }. \]
By construction, we have a pullback diagram of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [d]^{U} \ar [r] & \overline{\operatorname{\mathcal{E}}} \ar [d]^{\overline{U}} \\ \operatorname{\mathcal{C}}\ar [r] & \operatorname{\mathcal{C}}^{\triangleright }, } \]
and the fiber of $\overline{U}$ over the cone point ${\bf 1} \in \operatorname{\mathcal{C}}^{\triangleright }$ can be identified with the $\infty $-category $\operatorname{\mathcal{E}}[W^{-1}]$. Moreover, $\mathrm{Rf}$ induces a morphism of simplicial sets
\[ H: \Delta ^1 \times \operatorname{\mathcal{E}}\simeq \operatorname{\mathcal{E}}\star _{\operatorname{\mathcal{E}}} \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{E}}\star _{ \operatorname{\mathcal{E}}[W^{-1}] } \operatorname{\mathcal{E}}[W^{-1}] = \overline{\operatorname{\mathcal{E}}} \]
for which $H|_{ \{ 0\} \times \operatorname{\mathcal{E}}}$ is the inclusion map $\operatorname{\mathcal{E}}\hookrightarrow \overline{\operatorname{\mathcal{E}}}$, and $H|_{ \{ 1\} \times \operatorname{\mathcal{E}}}$ is the diagram $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{E}}[W^{-1}]$. For every vertex $X \in \operatorname{\mathcal{E}}$, the criterion of Lemma 5.2.3.17 guarantees that $H|_{ \Delta ^1 \times \{ X\} }$ is a $\overline{U}$-cocartesian edge of $\overline{\operatorname{\mathcal{E}}}$, so that $H$ exhibits $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{E}}[W^{-1}]$ as a covariant refraction diagram.
$\square$
Corollary 7.4.3.11. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration between small simplicial sets, and let $\operatorname{Tr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ be a covariant transport representation of $U$. Then the diagram $\operatorname{Tr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}$ admits a colimit in $\operatorname{\mathcal{QC}}$. Moreover, an object $\operatorname{\mathcal{D}}\in \operatorname{\mathcal{QC}}$ is a colimit of the diagram $\operatorname{Tr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}$ if and only if it is equivalent to the localization $\operatorname{\mathcal{E}}[W^{-1}]$, where $W$ is the collection of all $U$-cocartesian morphisms of $\operatorname{\mathcal{E}}$.
Proof.
Let ${\bf 1}$ denote the cone point of $\operatorname{\mathcal{C}}^{\triangleright }$. By virtue of Proposition 7.4.3.9 (and Remark 7.4.3.10), there exists a pullback diagram of small simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{E}}\ar [r] \ar [d]^{U} & \overline{\operatorname{\mathcal{E}}} \ar [d]^{ \overline{U} } \\ \operatorname{\mathcal{C}}\ar [r] & \operatorname{\mathcal{C}}^{\triangleright } } \]
where $\overline{U}$ is a cocartesian fibration, and a covariant refraction diagram $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ which exhibits $\overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ as a localization of $\operatorname{\mathcal{E}}$ with respect to $W$. Applying Corollary 5.6.5.11, we see that $\operatorname{Tr}_{\operatorname{\mathcal{E}}/\operatorname{\mathcal{C}}}$ extends to a covariant transport representation $ \operatorname{Tr}_{ \overline{\operatorname{\mathcal{E}}} / \operatorname{\mathcal{C}}^{\triangleright } }: \operatorname{\mathcal{C}}^{\triangleright } \rightarrow \operatorname{\mathcal{QC}}$. By virtue of Theorem 7.4.3.6, this extension is a colimit diagram carrying ${\bf 0}$ to the $\infty $-category $\overline{\operatorname{\mathcal{E}}}_{ {\bf 1} } \simeq \operatorname{\mathcal{E}}[W^{-1}]$.
$\square$
Corollary 7.4.3.12. Let $\operatorname{\mathcal{C}}$ be a small simplicial set, let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ be a diagram, let $U: \int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow \operatorname{\mathcal{C}}$ denote the projection map, and let $W$ be the collection of all $U$-cocartesian morphisms of $\int _{\operatorname{\mathcal{C}}} \mathscr {F}$. Then the localization $( \int _{\operatorname{\mathcal{C}}} \mathscr {F})[W^{-1} ]$ is a colimit of the diagram $\mathscr {F}$ in the $\infty $-category $\operatorname{\mathcal{QC}}$.
Proof.
Apply Corollary 7.4.3.11 to the cocartesian fibration $\int _{\operatorname{\mathcal{C}}} \mathscr {F} \rightarrow \operatorname{\mathcal{C}}$.
$\square$
Corollary 7.4.3.13. The $\infty $-category $\operatorname{\mathcal{QC}}$ is cocomplete: that is, it admits small colimits.
By examining the proof of Corollary 7.4.3.13, we can obtain more precise information.
Corollary 7.4.3.14. Let $\kappa $ be an uncountable regular cardinal, let $\operatorname{\mathcal{C}}$ be a simplicial set which is essentially $\kappa $-small, and suppose we are given a diagram $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ with the property that, for each vertex $C \in \operatorname{\mathcal{C}}$, the $\infty $-category $\mathscr {F}(C)$ is essentially $\kappa $-small. Then the colimit $\varinjlim (\mathscr {F})$ (formed in the $\infty $-category $\operatorname{\mathcal{QC}}$) is essentially $\kappa $-small.
Proof.
Without loss of generality, we may assume that $\mathscr {F}$ is a covariant transport representation for a cocartesian fibration $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$, so that the colimit $\varinjlim (\mathscr {F})$ can be identified with the localization $\operatorname{\mathcal{E}}[W^{-1}]$, where $W$ is the collection of $U$-cocartesian morphisms of $\operatorname{\mathcal{E}}$ (Corollary 7.4.3.11). By virtue of Variant 6.3.2.6, it will suffice to show that the simplicial set $\operatorname{\mathcal{E}}$ is essentially $\kappa $-small, which follows from Corollary 5.6.7.7.
$\square$
Corollary 7.4.3.15. Let $\lambda $ be an uncountable cardinal and let $\kappa = \mathrm{cf}(\lambda )$ be the cofinality of $\lambda $. Let $\operatorname{\mathcal{C}}$ be a $\kappa $-small simplicial set and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{QC}}$ be a diagram. Suppose that, for each object $C \in \operatorname{\mathcal{C}}$, the $\infty $-category $\mathscr {F}(C)$ is essentially $\lambda $-small. Then the colimit $\varinjlim ( \mathscr {F} )$ is essentially $\lambda $-small.
Proof.
For each vertex $C \in \operatorname{\mathcal{C}}$, the $\infty $-category $\mathscr {F}(C)$ is essentially $\lambda $-small, and is therefore essentially $\tau _{C}^{+}$-small for some infinite cardinal $\tau _{C} < \lambda $ (Corollary 4.7.6.17). Since $\lambda $ has cofinality $\kappa $, the supremum $\tau = \mathrm{sup} \{ \tau _ C \} _{C \in \operatorname{\mathcal{C}}}$ satisfies $\tau < \lambda $. Replacing $\lambda $ by the cardinal $\mathrm{sup} \{ \tau ^{+}, \kappa \} $, we are reduced to proving Corollary 7.4.3.15 in the special case where $\lambda $ is regular. In this case, the desired result follows from Variant 7.4.3.14.
$\square$
For strictly commutative diagrams, we can use the results of §5.3 to give an alternative description of the colimit.
Corollary 7.4.3.16. Let $\operatorname{\mathcal{C}}$ be a small category and let $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{QCat}$ be a (strictly commutative) diagram of $\infty $-categories indexed by $\operatorname{\mathcal{C}}$. Let $U: \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ be the cocartesian fibration of Definition 5.3.3.1, and let $W$ be the collection of $U$-cocartesian morphisms of $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})$. Then the localization $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})[W^{-1}]$ is a colimit of the diagram $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}): \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{\mathcal{QC}}$.
Proof.
Combine Corollary 7.4.3.16 with Example 5.6.5.6.
$\square$
Corollary 7.4.3.17. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $\overline{U}: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{C}}^{\triangleright }$ be a cocartesian fibration, and set $\operatorname{\mathcal{E}}= \operatorname{\mathcal{C}}\times _{ \operatorname{\mathcal{C}}^{\triangleright } } \overline{\operatorname{\mathcal{E}}}$. Let $F: \overline{\operatorname{\mathcal{E}}} \rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories which carries $\overline{U}$-cocartesian morphisms of $\overline{\operatorname{\mathcal{E}}}$ to isomorphisms in $\operatorname{\mathcal{D}}$. If the covariant transport representation $\operatorname{Tr}_{ \overline{\operatorname{\mathcal{E}}} / \operatorname{\mathcal{C}}^{\triangleright } }: \operatorname{\mathcal{C}}^{\triangleright } \rightarrow \operatorname{\mathcal{QC}}$ is a colimit diagram, then $F$ is left Kan extended from $\operatorname{\mathcal{E}}$.
Proof.
Let $\mathrm{Rf}: \operatorname{\mathcal{E}}\rightarrow \overline{\operatorname{\mathcal{E}}}_{{\bf 1} }$ be a covariant refraction diagram, so that there exists a natural transformation $h: \operatorname{id}_{\operatorname{\mathcal{E}}} \rightarrow \mathrm{Rf}$ (in the $\infty $-category $\operatorname{Fun}( \operatorname{\mathcal{E}}, \overline{\operatorname{\mathcal{E}}} )$) which carries each object $X \in \operatorname{\mathcal{E}}$ to an $\overline{U}$-cocartesian morphism $h_{X}: X \rightarrow \mathrm{Rf}(X)$. Our assumption that $\operatorname{Tr}_{ \overline{\operatorname{\mathcal{E}}} / \operatorname{\mathcal{C}}^{\triangleright } }$ is a colimit diagram guarantees that the functor $\mathrm{Rf}$ exhibits $\overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }$ as a localization of $\operatorname{\mathcal{E}}$ (Corollary 7.4.3.9). Moreover, for each object $X \in \operatorname{\mathcal{C}}$, the functor $F$ carries $h_{X}$ to an isomorphism in the $\infty $-category $\operatorname{\mathcal{D}}$. Set $F_0 = F|_{\operatorname{\mathcal{E}}}$ and $F_1 = F|_{ \overline{\operatorname{\mathcal{E}}}_{ {\bf 1} }}$. Applying Proposition 7.3.1.17, we deduce that the natural transformation $F(h): F_0 \rightarrow F_1 \circ \mathrm{Rf}$ exhibits the functor $F_1$ as a left Kan extension of $F_0$ along $\mathrm{Rf}$. By virtue of Example 7.4.3.4, the natural transformation $h$ exhibits $\mathrm{Rf}$ as a covariant transport functor for the cocartesian fibration
\[ \overline{\operatorname{\mathcal{E}}} \xrightarrow { \overline{U} } \operatorname{\mathcal{C}}^{\triangleright } \rightarrow ( \Delta ^0 )^{\triangleright } \simeq \Delta ^1. \]
Applying Corollary 7.3.2.14, we conclude that the functor $F$ is left Kan extended from $\operatorname{\mathcal{E}}$.
$\square$