Kerodon

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

7.4.5 Existence of Kan Extensions

Our goal in this section is to establish the following existence criterion for Kan extensions:

Proposition 7.4.5.1. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty $-categories, and suppose we are given diagrams $\delta : K \rightarrow \operatorname{\mathcal{C}}$ and $F_0: K \rightarrow \operatorname{\mathcal{D}}$. Then:

  • The diagram $F_0$ admits a left Kan extension along $\delta $ if and only if, for every object $C \in \operatorname{\mathcal{C}}$, the diagram

    \[ K_{/C} = K \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C} \rightarrow \operatorname{\mathcal{C}}\rightarrow K \xrightarrow {F_0} \operatorname{\mathcal{D}} \]

    has a colimit in the $\infty $-category $\operatorname{\mathcal{D}}$.

  • The diagram $F_0$ admits a right Kan extension along $\delta $ if and only if, for every object $C \in \operatorname{\mathcal{C}}$, the diagram

    \[ K_{C/} = K \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{C/} \rightarrow \operatorname{\mathcal{C}}\rightarrow K \xrightarrow {F_0} \operatorname{\mathcal{D}} \]

    has a limit in the $\infty $-category $\operatorname{\mathcal{D}}$.

Corollary 7.4.5.2. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty $-categories and let $\delta : K \rightarrow \operatorname{\mathcal{C}}$ be a diagram. Assume that, for every object $C \in \operatorname{\mathcal{C}}$, the $\infty $-category $\operatorname{\mathcal{D}}$ admits $K_{/C}$-indexed colimits. Then every diagram $F_0: K \rightarrow \operatorname{\mathcal{D}}$ admits a left Kan extension along $\delta $.

To prove Proposition 7.4.5.1, we will use Corollary 7.4.2.12 to reduce to the situation where $K = \operatorname{\mathcal{C}}^{0}$ is a full subcategory of $\operatorname{\mathcal{C}}$ and $\delta : \operatorname{\mathcal{C}}^{0} \hookrightarrow \operatorname{\mathcal{C}}$ is the inclusion map. In this case, Proposition 7.4.5.1 is a special case of the following more general result about the existence of relative Kan extensions:

Proposition 7.4.5.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $\operatorname{\mathcal{C}}^{0} \subseteq \operatorname{\mathcal{C}}$ be a full subcategory, let $U: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be an isofibration of $\infty $-categories, and suppose we are given a lifting problem

7.31
\begin{equation} \begin{gathered}\label{equation:relative-Kan-extension-existence} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}^{0} \ar [r]^-{F_0} \ar [d] & \operatorname{\mathcal{D}}\ar [d]^{U} \\ \operatorname{\mathcal{C}}\ar [r]^-{G} \ar@ {-->}[ur]^{F} & \operatorname{\mathcal{E}}} \end{gathered} \end{equation}

Then (7.31) admits a solution $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ which is $U$-left Kan extended from $\operatorname{\mathcal{C}}^{0}$ if and only if, for every object $C \in \operatorname{\mathcal{C}}$, the following condition is satisfied:

$(\ast _ C)$

The induced lifting problem

7.32
\begin{equation} \begin{gathered}\label{equation:relative-Kan-extension-existence4} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}^{0}_{/C} \ar [rr] \ar [d] & & \operatorname{\mathcal{D}}\ar [d]^{U} \\ ( \operatorname{\mathcal{C}}^0_{/C})^{\triangleright } \ar [r] \ar@ {-->}[urr]^{ F_ C } & \operatorname{\mathcal{C}}\ar [r]^-{G} & \operatorname{\mathcal{E}}} \end{gathered} \end{equation}

admits a solution $F_{C}: ( \operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright } \rightarrow \operatorname{\mathcal{D}}$ which is a $U$-colimit diagram.

Proof. Assume that condition $(\ast _ C)$ is satisfied for every object $C \in \operatorname{\mathcal{C}}$; we will show that the lifting problem (7.31) admits a solution $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ which is $U$-left Kan extended from $\operatorname{\mathcal{C}}^{0}$ (the converse follows immediately from the definitions). Let $\operatorname{\mathcal{K}}$ denote the oriented fiber product $\operatorname{\mathcal{C}}^{0} \operatorname{\vec{\times }}_{ \operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$: that is, the full subcategory of $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$ spanned by those morphisms $e: X \rightarrow Y$ of $\operatorname{\mathcal{C}}$ such that $X$ belongs to the subcategory $\operatorname{\mathcal{C}}^{0}$. Let $\pi : \operatorname{\mathcal{K}}\rightarrow \operatorname{\mathcal{C}}^{0}$ and $\pi ': \operatorname{\mathcal{K}}\rightarrow \operatorname{\mathcal{C}}$ be the evaluation maps, given on objects by $\pi (e) = X$ and $\pi '(e) = Y$, respectively. We then have a natural transformation $\alpha : \pi \rightarrow \pi '$ (which carries each morphism $e: X \rightarrow Y$ to itself). Regarding $\operatorname{\mathcal{K}}$ as an object of $(\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}}$ via the functor $\pi '$, let $\operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$ denote the relative join of Construction 5.2.4.1. We will write $\iota _{\operatorname{\mathcal{K}}}: \operatorname{\mathcal{K}}\hookrightarrow \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$ and $\iota _{\operatorname{\mathcal{C}}}: \operatorname{\mathcal{C}}\hookrightarrow \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$ for the inclusion maps, and $\iota _{\operatorname{\mathcal{C}}^{0} }$ for the restriction of $\iota _{\operatorname{\mathcal{C}}}$ to the full subcategory $\operatorname{\mathcal{C}}^{0} \subseteq \operatorname{\mathcal{C}}$. The natural transformation $\alpha $ then determines a functor $S: \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}$ satisfying $S \circ \iota _{\operatorname{\mathcal{K}}} = \pi $ and $S \circ \iota _{\operatorname{\mathcal{C}}} = \operatorname{id}_{\operatorname{\mathcal{C}}}$. Consider the lifting problem

7.33
\begin{equation} \begin{gathered}\label{equation:relative-Kan-extension-existence2} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{K}}\ar [rr]^{ F_0 \circ \pi } \ar [d] & & \operatorname{\mathcal{D}}\ar [d]^{U} \\ \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\ar [r]^-{S} \ar [urr]^{ \overline{F} } & \operatorname{\mathcal{C}}\ar [r]^-{G} & \operatorname{\mathcal{E}}. } \end{gathered} \end{equation}

For each object $C \in \operatorname{\mathcal{C}}$, write $\operatorname{\mathcal{K}}_{C}$ for the fiber $\pi '^{-1} \{ C\} $, so that (7.33) restricts to a lifting problem

7.34
\begin{equation} \begin{gathered}\label{equation:relative-Kan-extension-existence3} \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{K}}_{C} \ar [r] \ar [d] & \operatorname{\mathcal{D}}\ar [d]^{U} \\ \operatorname{\mathcal{K}}_{C} \star _{ \{ C \} } \{ C\} \ar@ {-->}[ur]^{ \overline{F}_ C } \ar [r] & \operatorname{\mathcal{E}}. } \end{gathered} \end{equation}

Note that $\operatorname{\mathcal{K}}_{C}$ can be identified with the oriented fiber product $\operatorname{\mathcal{C}}^{0} \operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \{ C\} $. Moreover, after precomposing with the slice diagonal equivalence $\operatorname{\mathcal{C}}^{0}_{/C} \rightarrow \operatorname{\mathcal{C}}^{0} \operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \{ C\} $ of Theorem 4.6.4.16, (7.34) recovers the lifting problem (7.32). Combining assumption $(\ast _ C)$ with Proposition 7.2.2.7, we deduce that the lifting problem (7.34) admits a solution $\overline{F}_{C}: \operatorname{\mathcal{K}}_{C}^{\triangleright } \rightarrow \operatorname{\mathcal{D}}$ which is a $U$-colimit diagram. Since $\pi ': \operatorname{\mathcal{K}}\rightarrow \operatorname{\mathcal{C}}$ is a cocartesian fibration (Proposition 5.1.7.1), Proposition 7.4.4.7 guarantees that the lifting problem (7.33) admits a solution $\overline{F}: \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ which is $U$-left Kan extended from $\operatorname{\mathcal{K}}$.

Note that the diagonal inclusion $\operatorname{\mathcal{C}}\hookrightarrow \operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$ restricts to a map $\delta : \operatorname{\mathcal{C}}^{0} \hookrightarrow \operatorname{\mathcal{K}}$. Let $\beta $ denote the composite map

\[ \Delta ^1 \times \operatorname{\mathcal{C}}^{0} \simeq \operatorname{\mathcal{C}}^{0} \star _{ \operatorname{\mathcal{C}}^{0} } \operatorname{\mathcal{C}}^{0} \xrightarrow { \delta \star \operatorname{id}} \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}, \]

which we regard as a natural transformation from $\iota _{\operatorname{\mathcal{K}}} \circ \delta $ to $\iota _{\operatorname{\mathcal{C}}^{0}}$. This natural transformation carries each object $X \in \operatorname{\mathcal{C}}^{0}$ to a morphism $\beta _{X}: \iota _{\operatorname{\mathcal{K}}}( \operatorname{id}_ X ) \rightarrow \iota _{\operatorname{\mathcal{C}}}(X)$ in the $\infty $-category $\operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$. Since $\operatorname{id}_ X$ is a final object of the $\infty $-category $\operatorname{\mathcal{K}}_{X} \simeq \operatorname{\mathcal{C}}^{0} \operatorname{\vec{\times }}_{ \operatorname{\mathcal{C}}^{0} } \{ X\} $ (Proposition 7.1.3.8) and $\overline{F}|_{ \operatorname{\mathcal{K}}_{X}^{\triangleright } }$ is a $U$-colimit diagram (Proposition 7.4.4.3), the image $\overline{F}( \beta _ X )$ is a $U$-cocartesian morphism of $\operatorname{\mathcal{D}}$ (Corollary 7.2.3.6). Since $U( \overline{F}(\beta _ X) ) = \operatorname{id}_{ G(X) }$ is an isomorphism in $\operatorname{\mathcal{E}}$, we conclude that $\overline{F}( \beta _ X )$ is an isomorphism in $\operatorname{\mathcal{D}}$. Applying Corollary 4.4.5.9, we deduce that $\overline{F}( \beta )$ can be lifted to an isomorphism $F \rightarrow \overline{F} \circ \iota _{\operatorname{\mathcal{C}}}$ in the $\infty $-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$, where $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ is a solution to the lifting problem (7.31). We will show $\overline{F} \circ \iota _{\operatorname{\mathcal{C}}}$ is $U$-left Kan extended from $\operatorname{\mathcal{C}}^{0}$, so that $F$ is also $U$-left Kan extended from $\operatorname{\mathcal{C}}^{0}$ (Remark 7.4.3.11).

Fix an object $C \in \operatorname{\mathcal{C}}$, let $c: ( \operatorname{\mathcal{C}}^{0}_{/C} )^{\triangleright } \rightarrow \operatorname{\mathcal{C}}$ be the slice contraction map and set $T^{+} = \iota _{\operatorname{\mathcal{C}}} \circ c$; we wish to show that $T^{+}: (\operatorname{\mathcal{C}}^{0}_{/C} )^{\triangleright } \rightarrow \operatorname{\mathcal{D}}$ is a $U$-colimit diagram. Let $\psi : \operatorname{\mathcal{C}}_{/C} \hookrightarrow \operatorname{\mathcal{C}}\operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \{ C\} $ be the slice diagonal of Construction 4.6.4.12. Note that $\psi $ is an equivalence of right fibrations over $\operatorname{\mathcal{C}}$ (Theorem 4.6.4.16 and Proposition 5.1.6.5), and therefore restricts to an equivalence of full subcategories $\psi _{0}: \operatorname{\mathcal{C}}^{0}_{/C} \rightarrow \operatorname{\mathcal{C}}^{0} \operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \{ C\} = \operatorname{\mathcal{K}}_{C}$. Let $T^{-}$ denote the composite functor

\[ (\operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright } \xrightarrow { \psi _0^{\triangleright } } \operatorname{\mathcal{K}}_{C}^{\triangleright } = \operatorname{\mathcal{K}}_{C} \star _{ \{ C\} } \{ C\} \hookrightarrow \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}. \]

Because $\overline{F}$ is $U$-left Kan extended from $\operatorname{\mathcal{K}}$, the $\overline{F}|_{ \operatorname{\mathcal{K}}_{C}^{\triangleright } }$ is a $U$-colimit diagram in $\operatorname{\mathcal{D}}$ (Proposition 7.4.4.3). Since the functor $\psi _{0}$ is right cofinal (Corollary 7.2.1.11), the functor $\overline{F} \circ T^{-}$ is also a $U$-colimit diagram (Corollary 7.2.2.2). Beware that the functors $T^{-}, T^{+}: (\operatorname{\mathcal{C}}_{/C}^{0})^{\triangleright } \rightarrow \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$ are not isomorphic: if $\widetilde{X}$ is an object of the $\infty $-category $\operatorname{\mathcal{C}}_{/C}$ given by a morphism $e: X \rightarrow C$ in $\operatorname{\mathcal{C}}$, then we have $T^{+}( \widetilde{X} ) = \iota _{\operatorname{\mathcal{C}}}(X)$ and $T^{-}( \widetilde{X} ) = \iota _{\operatorname{\mathcal{K}}}( e )$. However, we will show that the functors $\overline{F} \circ T^{-}$ and $\overline{F} \circ T^{+}$ are isomorphic when regarded as objects of the $\infty $-category $\operatorname{Fun}( ( \operatorname{\mathcal{C}}^{0}_{/C} )^{\triangleright }, \operatorname{\mathcal{D}})$, so that $\overline{F} \circ G^{+}$ a $U$-colimit diagram by virtue of Proposition 7.1.7.13.

Let $b: (\operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright } \rightarrow \Delta ^1$ be the map carrying $\operatorname{\mathcal{C}}^{0}_{/C}$ to the vertex $0 \in \Delta ^1$ and the cone point of $(\operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright }$ to the vertex $1 \in \Delta ^1$. Note that the map $( b, c ): (\operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright } \rightarrow \Delta ^1 \times \operatorname{\mathcal{C}}$ factors through the full subcategory

\[ \operatorname{\mathcal{C}}^0 \star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\subseteq \operatorname{\mathcal{C}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\subseteq \Delta ^1 \times \operatorname{\mathcal{C}}. \]

We let $T: (\operatorname{\mathcal{C}}^0_{/C})^{\triangleright } \rightarrow \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$ denote the composite functor

\[ (\operatorname{\mathcal{C}}^0_{/C})^{\triangleright } \xrightarrow { (b, c) } \operatorname{\mathcal{C}}^0 \star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\xrightarrow { \delta \star \operatorname{id}} \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}. \]

Concretely, the functor $T$ carries the cone point of $(\operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright }$ to the object $\iota _{\operatorname{\mathcal{C}}}(C) \in \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$, and carries an object $(e: X \rightarrow C)$ of $\operatorname{\mathcal{C}}^{0}_{/C}$ to the object $\iota _{\operatorname{\mathcal{K}}}( \operatorname{id}_ X) \in \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$. We will complete the proof by verifying the following:

$(a)$

There exists a natural transformation of functors $\gamma ^{+}: T \rightarrow T^{+}$, which carries the cone point of $( \operatorname{\mathcal{C}}_{/C}^{0} )^{\triangleright }$ to the identity morphism $\iota _{\operatorname{\mathcal{C}}}( \operatorname{id}_ C )$, and carries each object $(e: X \rightarrow C) \in \operatorname{\mathcal{C}}_{/C}^{0}$ to the morphism $\beta _{X}$.

$(b)$

There exists a natural transformation fo functors $\gamma ^{-}: T \rightarrow T^{-}$, which carries the cone point of $( \operatorname{\mathcal{C}}_{/C}^{0} )^{\triangleright }$ to the identity morphism $\iota _{\operatorname{\mathcal{C}}}( \operatorname{id}_ C )$ and carries each object $(e: X \rightarrow C)$ to the morphism of $\operatorname{\mathcal{K}}\subseteq \operatorname{Fun}(\Delta ^1, \operatorname{\mathcal{C}})$ given by a commutative diagram

\[ \xymatrix@R =50pt@C=50pt{ X \ar [r]^-{ \operatorname{id}_ X } \ar [d]^{\operatorname{id}_ X} & X \ar [d]^{e} \\ X \ar [r]^-{e} & C } \]

in the $\infty $-category $\operatorname{\mathcal{C}}$.

Assuming this has been done, we observe that the natural transformations $\overline{F}( \gamma ^{-} )$ and $\overline{F}( \gamma ^{+} )$ carry each object of $( \operatorname{\mathcal{C}}_{/C }^{0} )^{\triangleright }$ to an isomorphism in the $\infty $-category $\operatorname{\mathcal{D}}$ and therefore supply isomorphisms $\overline{F} \circ T^{-} \xleftarrow {\sim } \overline{F} \circ T \xrightarrow {|sim} \overline{F} \circ T^{+}$ in the $\infty $-category $\operatorname{Fun}( ( \operatorname{\mathcal{C}}^{0}_{/C} )^{\triangleright }, \operatorname{\mathcal{D}})$.

We begin by constructing the natural transformation $\gamma ^{+}$. Let $b': ( \operatorname{\mathcal{C}}_{/C}^{0} )^{\triangleright } \rightarrow \Delta ^1$ be the constant map taking the value $1$, so that there is a unique natural transformation $\xi : b \rightarrow b'$. Note that $\xi $ induces a natural transformation from $(b,c)$ to $(b',c)$ in the $\infty $-category $\operatorname{Fun}( ( \operatorname{\mathcal{C}}_{/C}^{0} )^{\triangleright }, \operatorname{\mathcal{C}}^0 \star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}})$. Composing with the map $( \delta \star \operatorname{id}): \operatorname{\mathcal{C}}^0 \star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}$, we obtain a natural transformation $\gamma ^{+}: T \rightarrow T^{+}$ satisfying the requirements of $(a)$.

We now construct the natural transformation $\gamma ^{-}$. Note that $T$ and $T_{-}$ both carry $\operatorname{\mathcal{C}}^{0}_{/C}$ into $\operatorname{\mathcal{K}}$ and the cone point of $(\operatorname{\mathcal{C}}^{0}_{/C})^{\triangleright }$ to the object $\iota _{\operatorname{\mathcal{C}}}(C)$ and can therefore be identified with functors $T_{0}, T^{-}_{0}: \operatorname{\mathcal{C}}^{0}_{/C} \rightarrow \operatorname{\mathcal{K}}\times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C}$. Let $\sigma $ be an $n$-simplex of the product $\Delta ^1 \times \operatorname{\mathcal{C}}^{0}_{/C}$, which we identify with a pair $(\epsilon , \tau )$ where $\epsilon : [n] \rightarrow [1]$ is a nondecreasing function and $\tau : \Delta ^{n+1} \rightarrow \operatorname{\mathcal{C}}$ has the property that $\tau |_{\Delta ^ n}$ factors through $\operatorname{\mathcal{C}}^{0}$ and $\tau ( n+1 ) = C$. Let $\rho : \Delta ^1 \times \Delta ^{n} \rightarrow \Delta ^{n+1}$ and $\rho ': \Delta ^{n+1} \rightarrow \Delta ^{n+1}$ denote the maps given on vertices by the formulae

\[ \rho (i,j) = \begin{cases} n+1 & \text{ if $i = 1 = \epsilon (j)$ } \\ j & \text{ otherwise }\end{cases} \quad \quad \rho '(j) = \begin{cases} j & \text{ if $j \leq n$ and $\epsilon (j) = 0$} \\ n+1 & \text{otherwise}. \end{cases} \]

Then $(\rho \circ \tau ): \Delta ^1 \times \Delta ^ n \rightarrow \operatorname{\mathcal{C}}$ can be identified with an $n$-simplex of the simplicial set $\operatorname{\mathcal{K}}\subseteq \operatorname{Fun}(\Delta ^1,\operatorname{\mathcal{C}})$, so that $( \rho \circ \tau , \rho ' \circ \tau )$ is an $n$-simplex of $\operatorname{\mathcal{K}}\times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C}$. The construction $\sigma \mapsto ( \rho \circ \tau , \rho ' \circ \tau )$ depends functorially on $[n]$, and therefore determines a morphism of simplicial sets

\[ \Delta ^1 \times \operatorname{\mathcal{C}}^{0}_{/C} \rightarrow \operatorname{\mathcal{K}}\times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C} \]

We can identify this map with a natural transformation $\gamma ^{-}_{0}: T_0 \rightarrow T^{-}_{0}$, which then determines a natural transformation $\gamma ^{-}: T \rightarrow T^{-}$ satisfying the requirements of $(b)$. $\square$

Corollary 7.4.5.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $\operatorname{\mathcal{C}}^{0} \subseteq \operatorname{\mathcal{C}}$ be a full subcategory, let $F_0: \operatorname{\mathcal{C}}^{0} \rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty $-categories. Then:

  • The functor $F_0$ admits a left Kan extension $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ if and only if, for every object $C \in \operatorname{\mathcal{C}}$, the diagram

    \[ \operatorname{\mathcal{C}}^{0} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C} \rightarrow \operatorname{\mathcal{C}}^{0} \xrightarrow {F_0} \operatorname{\mathcal{D}} \]

    has a colimit in the $\infty $-category $\operatorname{\mathcal{D}}$.

  • The functor $F_0$ admits a right Kan extension $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ if and only if, for every object $C \in \operatorname{\mathcal{C}}$, the diagram

    \[ \operatorname{\mathcal{C}}^{0} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{C/} \rightarrow \operatorname{\mathcal{C}}^{0} \xrightarrow {F_0} \operatorname{\mathcal{D}} \]

    has a limit in the $\infty $-category $\operatorname{\mathcal{D}}$.

Proof. The first assertion follows by applying the criterion of Proposition 7.4.5.3 in the special case $\operatorname{\mathcal{E}}= \Delta ^0$, and the second assertion follows by a similar argument. $\square$

Proof of Proposition 7.4.5.1. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty $-categories, and suppose we are given diagrams $\delta : K \rightarrow \operatorname{\mathcal{C}}$ and $F_0: K \rightarrow \operatorname{\mathcal{D}}$ with the property that, for every object $C \in \operatorname{\mathcal{C}}$, the composite map

\[ K_{/C} = K \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C} \rightarrow \operatorname{\mathcal{C}}\rightarrow K \xrightarrow {F_0} \operatorname{\mathcal{D}} \]

has a colimit in the $\infty $-category $\operatorname{\mathcal{D}}$. We wish to show that $F_0$ has a left Kan extension along $\delta $ (the converse assertion is immediate from the definitions, and the analogous assertion for right Kan extensions will follow by a similar argument). Using Corollary 4.1.3.3, we can choose an inner anodyne morphism $\iota : K \hookrightarrow \operatorname{\mathcal{K}}$, where $\operatorname{\mathcal{K}}$ is an $\infty $-category. Since $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ are $\infty $-categories, we can extend $\delta $ and $F_0$ to functors $\overline{\delta }: \operatorname{\mathcal{K}}\rightarrow \operatorname{\mathcal{C}}$ and $\overline{F}_0: \operatorname{\mathcal{K}}\rightarrow \operatorname{\mathcal{D}}$, respectively (Proposition 4.1.3.1). For every object $C \in \operatorname{\mathcal{C}}$, the induced map $K \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C} \hookrightarrow \operatorname{\mathcal{K}}\times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C}$ is a categorical equivalence (Corollary 5.6.4.6), and therefore right cofinal (Corollary 7.2.1.11). Applying Proposition 7.2.2.7, we deduce that the composite map

\[ \operatorname{\mathcal{K}}\times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C} \rightarrow \operatorname{\mathcal{K}}\xrightarrow { \overline{F}_0 } \operatorname{\mathcal{D}} \]

has a colimit in $\operatorname{\mathcal{D}}$. Corollary 7.4.5.4 now guarantees that the functor $\overline{F}_0$ admits a left Kan extension $\overline{F}: \operatorname{\mathcal{K}}\star _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$. Set $F = \overline{F}|_{\operatorname{\mathcal{C}}}$. Applying Proposition 7.4.2.10, we obtain a natural transformation $\overline{\beta }: \overline{F}_0 \rightarrow F \circ \overline{\delta }$ which exhibits $F$ as a left Kan extension of $\overline{F}_0$ along $\overline{\delta }$. Since $\iota $ is a categorical equivalence, it follows that $\overline{\beta }$ restricts to a natural transformation $F_0 \rightarrow F \circ \delta $ which exhibits $F$ as a left Kan extension of $F_0$ along $\delta $ (Proposition 7.4.1.13). $\square$