# Kerodon

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

### 7.3.1 Kan Extensions along General Functors

We begin by introducing some notation.

Notation 7.3.1.1. Let $\operatorname{\mathcal{C}}$ be an $\infty$-category and let $\delta : K \rightarrow \operatorname{\mathcal{C}}$ be a diagram. For each object $C \in \operatorname{\mathcal{C}}$, we let $K_{/C}$ denote the fiber product $K \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{/C}$. Note that the slice diagonal of Construction 4.6.4.13 determines a map $K_{/C} \rightarrow K \operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \{ C\}$, which we can identify with a natural transformation of diagrams $\gamma : \delta |_{ K_{/C} } \rightarrow \underline{C}$; here $\delta |_{K_{/C} }$ denotes the composition $K_{/C} \rightarrow K \xrightarrow {\delta } \operatorname{\mathcal{C}}$, while $\underline{C}$ denotes the constant diagram $K_{/C} \rightarrow \operatorname{\mathcal{C}}$ taking the value $C$. Similarly, we let $K_{C/}$ denote the fiber product $\operatorname{\mathcal{C}}_{C/} \times _{\operatorname{\mathcal{C}}} K$, so that the coslice diagonal of Construction 4.6.4.13 determines a natural transformation $\gamma ': \underline{C} \rightarrow \delta |_{ K_{C/} }$.

Definition 7.3.1.2 (Right Kan Extensions). Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty$-categories. Suppose we are given a simplicial set $K$ together with diagrams $\delta : K \rightarrow \operatorname{\mathcal{C}}$ and $F_0: K \rightarrow \operatorname{\mathcal{D}}$ and a natural transformation $\alpha : F \circ \delta \rightarrow F_0$, as indicated in the diagram

$\xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{C}}\ar [dr]^{F} \ar@ {=>}[]+<0pt,-25pt>;+<0pt,-50pt>^-{\alpha } & \\ K \ar [ur]^{\delta } \ar [rr]_{F_0} & & \operatorname{\mathcal{D}}. }$

We will say that $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$ if, for every object $C \in \operatorname{\mathcal{C}}$, the following condition is satisfied:

$(\ast _ C)$

Let $\alpha _{C}$ denote a composition of the natural transformations

$\underline{ F(C) } \xrightarrow { F( \gamma ' ) } (F \circ \delta )|_{ K_{C/} } \xrightarrow { \alpha } F_0|_{ K_{C/} }$

(formed in the $\infty$-category $\operatorname{Fun}( K_{C/}, \operatorname{\mathcal{D}})$), where $\gamma ': \underline{C} \rightarrow \delta |_{ K_{C/} }$ is defined in Notation 7.3.1.1. Then $\alpha _{C}$ exhibits $F(C)$ as a limit of the diagram

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

in the sense of Definition 7.1.1.1.

$\xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{C}}\ar [dr]^{F} \ar@ {=>}[]+<0pt,-25pt>;+<0pt,-50pt>^-{\alpha } & \\ K \ar [ur]^{\delta } \ar [rr]_{F_0} & & \operatorname{\mathcal{D}}. }$

exhibits $F$ as a right Kan extension of $F_0$ along $\delta$ if, for every object $C \in \operatorname{\mathcal{C}}$, we can calculate the value $F(C) \in \operatorname{\mathcal{D}}$ as a limit of the diagram

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

Note that this requirement characterizes the object $F(C) \in \operatorname{\mathcal{D}}$ up to isomorphism (see Proposition 7.1.1.12). We will later prove a stronger assertion: if the diagrams $\delta : K \rightarrow \operatorname{\mathcal{C}}$ and $F_0: K \rightarrow \operatorname{\mathcal{D}}$ are fixed, then a right Kan extension of $F_0$ along $\delta$ is uniquely determined (up to isomorphism) as an object of the $\infty$-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ (Remark 7.3.6.6).

Warning 7.3.1.4. In the situation of Definition 7.3.1.2, the natural transformation $\alpha _{C}$ appearing in condition $(\ast _ C)$ is defined as a composition of morphisms in the $\infty$-category $\operatorname{Fun}( K_{/C}, \operatorname{\mathcal{D}})$, which is only well-defined up to homotopy. However, the condition that $\beta _{C}$ exhibits $F(C)$ as a colimit of the diagram $F_0|_{ K_{/C} }$ depends only on the homotopy class $[\beta _ C]$ (Remark 7.1.1.7).

Variant 7.3.1.5 (Left Kan Extensions). Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty$-categories. Suppose we are given a simplicial set $K$ together with diagrams $\delta : K \rightarrow \operatorname{\mathcal{C}}$ and $F_0: K \rightarrow \operatorname{\mathcal{D}}$ and a natural transformation $\beta : F_0 \rightarrow F \circ \delta$, as indicated in the diagram

$\xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{C}}\ar [dr]^{F} \ar@ {<=}[]+<0pt,-25pt>;+<0pt,-50pt>^-{\beta } & \\ K \ar [ur]^{\delta } \ar [rr]_{F_0} & & \operatorname{\mathcal{D}}. }$

We will say that $\beta$ exhibits $F$ as a left Kan extension of $F_0$ along $\delta$ if, for every object $C \in \operatorname{\mathcal{C}}$, the following condition is satisfied:

$(\ast _ C)$

Let $\beta _{C}$ denote a composition of the natural transformations

$F_0|_{ K_{/C} } \xrightarrow {\beta } (F \circ \delta )|_{ K_{/C} } \xrightarrow { F(\gamma ) } \underline{ F(C) }$

(formed in the $\infty$-category $\operatorname{Fun}( K_{/C}, \operatorname{\mathcal{D}})$), where $\gamma : \delta |_{ K_{/C} } \rightarrow \underline{C}$ is defined in Notation 7.3.1.1. Then $\beta _{C}$ exhibits $F(C)$ as a colimit of the diagram

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

in the sense of Definition 7.1.1.1.

Remark 7.3.1.6. In the situation of Variant 7.3.1.5, the natural transformation $\beta : F_0 \rightarrow F \circ \delta$ exhibits $F$ as a left Kan extension of $F_0$ along $\delta$ if and only if it exhibits $F^{\operatorname{op}}$ as a right Kan extension of $F_0^{\operatorname{op}}$ along $\delta ^{\operatorname{op}}$, when regarded as a morphism in the $\infty$-category $\operatorname{Fun}(K^{\operatorname{op}}, \operatorname{\mathcal{D}}^{\operatorname{op}}) \simeq \operatorname{Fun}(K, \operatorname{\mathcal{D}})^{\operatorname{op}}$.

Example 7.3.1.7. Let $\operatorname{\mathcal{D}}$ be an $\infty$-category, let $F_0: K \rightarrow \operatorname{\mathcal{D}}$ be a diagram. Let $\delta : K \rightarrow \Delta ^0$ be the projection map and let $F: \Delta ^0 \rightarrow \operatorname{\mathcal{D}}$ be the functor corresponding to an object $Y \in \operatorname{\mathcal{D}}$. Then:

• A natural transformation $\alpha : \underline{Y} = (F \circ \delta ) \rightarrow F_0$ exhibits $Y$ as a limit of $F_0$ (in the sense of Definition 7.1.1.1) if and only if it exhibits $F$ as a right Kan extension of $F_0$ along $\delta$ (in the sense of Definition 7.3.1.2).

• A natural transformation $\beta : F_0 \rightarrow (F \circ \delta ) = \underline{Y}$ exhibits $Y$ as a colimit of $F_0$ (in the sense of Definition 7.1.1.1) if and only if it exhibits $F$ as a left Kan extension of $F_0$ along $\delta$ (in the sense of Variant 7.3.1.5).

Example 7.3.1.8. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty$-categories, and let $\alpha : F \rightarrow G$ be a morphism in the $\infty$-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$. The following conditions are equivalent:

$(1)$

The natural transformation $\alpha$ is an isomorphism in the $\infty$-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$.

$(2)$

The natural transformation $\alpha$ exhibits $F$ as a right Kan extension of $G$ along the identity functor $\operatorname{id}_{\operatorname{\mathcal{C}}}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}$.

$(3)$

The natural transformation $\alpha$ exhibits $G$ as a left Kan extension of $F$ along the identity functor $\operatorname{id}_{\operatorname{\mathcal{C}}}: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}$.

To prove the equivalence of $(1)$ and $(2)$, fix an object $C \in \operatorname{\mathcal{C}}$. Since the identity morphism $\operatorname{id}_{C}$ is an initial object of the $\infty$-category $\operatorname{\mathcal{C}}_{C/}$ (Proposition 4.6.6.23), the natural transformation $\alpha$ satisfies condition $(\ast _ C)$ of Definition 7.3.1.2 if and only if the induced map $\alpha _ C: F(C) \rightarrow G(C)$ is an isomorphism in $\operatorname{\mathcal{D}}$ (Corollary 7.2.2.6). The equivalence $(1) \Leftrightarrow (2)$ now follows from the criterion of Theorem 4.4.4.4. The equivalence $(1) \Leftrightarrow (3)$ follows by a similar argument.

Remark 7.3.1.9. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty$-categories and let $\delta : K \rightarrow \operatorname{\mathcal{C}}$ and $F_0: K \rightarrow \operatorname{\mathcal{D}}$ be diagrams. Then:

• The condition that a natural transformation $\alpha : F \circ \delta \rightarrow F_0$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$ depends only on the homotopy class $[\alpha ]$ (as a morphism in the $\infty$-category $\operatorname{Fun}( K, \operatorname{\mathcal{D}})$).

• The condition that a natural transformation $\beta : F_0 \rightarrow F \circ \delta$ exhibits $F$ as a left Kan extension of $F_0$ along $\delta$ depends only on the homotopy class $[\beta ]$ (as a morphism in the $\infty$-category $\operatorname{Fun}( K, \operatorname{\mathcal{D}})$).

See Remark 7.1.1.7.

Remark 7.3.1.10. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty$-categories, let $\delta : K \rightarrow \operatorname{\mathcal{C}}$ be a diagram, and let $\rho : F_0 \rightarrow F'_0$ be an isomorphism in the $\infty$-category $\operatorname{Fun}(K, \operatorname{\mathcal{D}})$. Then:

• A natural transformation $\alpha : F \circ \delta \rightarrow F_0$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$ if and only if the composite natural transformation

$F \circ \delta \xrightarrow { \alpha } F_0 \xrightarrow {\rho } F'_0$

exhibits $F$ as a right Kan extension of $F'_0$ along $\delta$ (note that this condition is independent of the composition chosen, by virtue of Remark 7.3.1.9).

• A natural transformation $\beta : F'_0 \rightarrow F \circ \delta$ exhibits $F$ as a left Kan extension of $F'_0$ along $\delta$ if and only if the composite natural transformation

$F_0 \xrightarrow {\rho } F'_0 \xrightarrow {\beta } F \circ \delta$

exhibits $F$ as a left Kan extension of $F_0$ along $\delta$.

See Remark 7.1.1.8.

Remark 7.3.1.11. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty$-categories, let $F_0: K \rightarrow \operatorname{\mathcal{D}}$ be a diagram, and let $\rho : \delta ' \rightarrow \delta$ be an isomorphism in the $\infty$-category $\operatorname{Fun}(K, \operatorname{\mathcal{C}})$. Then:

• A natural transformation $\alpha : F \circ \delta \rightarrow F_0$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$ if and only if the composite natural transformation

$F \circ \delta ' \xrightarrow { \rho } F \circ \delta \xrightarrow {\alpha } F_0$

exhibits $F$ as a right Kan extension of $F_0$ along $\delta '$ (note that this condition is independent of the composition chosen, by virtue of Remark 7.3.1.9).

• A natural transformation $\beta : F_0 \rightarrow F \circ \delta '$ exhibits $F$ as a left Kan extension of $F_0$ along $\delta '$ if and only if the composite natural transformation

$F_0 \xrightarrow {\beta } F \circ \delta ' \xrightarrow {\rho } F \circ \delta$

exhibits $F$ as a left Kan extension of $F_0$ along $\delta$.

See Remark 7.1.1.8.

Remark 7.3.1.12. Suppose we are given a diagram

$\xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{C}}\ar [dr]^{F} \ar@ {=>}[]+<0pt,-25pt>;+<0pt,-50pt>^-{\alpha } & \\ K \ar [ur]^{\delta } \ar [rr]_{F_0} & & \operatorname{\mathcal{D}}}$

as in Definition 7.3.1.2. Let $\rho : F' \rightarrow F$ be a morphism in the $\infty$-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$. Then any two of the following conditions imply the third:

• The natural transformation $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$.

• The composite natural transformation

$\delta \circ F' \xrightarrow { \rho } \delta \circ F \xrightarrow { \alpha } F_0$

exhibits $F'$ as a right Kan extension of $F_0$ along $\delta$ (note that this condition does not depend on the composition chosen, by virtue of Remark 7.3.1.9).

• The morphism $\rho$ is an isomorphism in the $\infty$-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$.

This follows by combining Remark 7.1.1.9 with Theorem 4.4.4.4.

Remark 7.3.1.13 (Change of Target). Suppose we are given a diagram

$\xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{C}}\ar [dr]^{F} \ar@ {=>}[]+<0pt,-25pt>;+<0pt,-50pt>^-{\alpha } & \\ K \ar [ur]^{\delta } \ar [rr]_{F_0} & & \operatorname{\mathcal{D}}}$

as in Definition 7.3.1.2, and let $G: \operatorname{\mathcal{D}}\rightarrow \operatorname{\mathcal{E}}$ be a functor of $\infty$-categories. Then:

• If $G$ is fully faithful and $G(\alpha ): (G \circ F) \circ \delta \rightarrow G \circ F_0$ exhibits $G \circ F$ as a right Kan extension of $G \circ F_0$ along $\delta$, then $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$.

• If $G$ is an equivalence of $\infty$-categories and $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$, then $G(\alpha )$ exhibits $G \circ F$ as a right Kan extension of $G \circ F_0$ along $\delta$.

See Remark 7.1.1.10.

Proposition 7.3.1.14 (Change of Diagram). Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor of $\infty$-categories, let $\delta : K \rightarrow \operatorname{\mathcal{C}}$ and $F_0: K \rightarrow \operatorname{\mathcal{D}}$ be diagrams, and let $\epsilon : K' \rightarrow K$ be a categorical equivalence of simplicial sets. Then:

$(1)$

A natural transformation $\alpha : F \circ \delta \rightarrow F_0$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$ if and only if the induced transformation $\alpha ': F \circ (\delta \circ \epsilon ) \rightarrow F_0 \circ \epsilon$ exhibits $F$ as a right Kan extension of $F_0 \circ \epsilon$ along $\delta \circ \epsilon$.

$(2)$

A natural transformation $\beta : F_0 \rightarrow F \circ \delta$ exhibits $F$ as a left Kan extension of $F_0$ along $\delta$ if and only if the induced transformation $\beta ': F_0 \circ \epsilon \rightarrow F \circ (\delta \circ \epsilon )$ exhibits $F$ as a left Kan extension of $F_0 \circ \epsilon$ along $\delta \circ \epsilon$.

Proof. We will prove $(1)$; the proof of $(2)$ is similar. Fix an object $C \in \operatorname{\mathcal{C}}$. Since $\epsilon$ is a categorical equivalence and the projection map $\operatorname{\mathcal{C}}_{C/} \rightarrow \operatorname{\mathcal{C}}$ is a left fibration (Proposition 4.3.6.1), it follows that the induced map $\epsilon _{/C}: K' \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{C/} \rightarrow K \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{C/}$ is also a categorical equivalence of simplicial sets (Corollary 5.7.7.6). In particular, $\epsilon$ is left cofinal (Corollary 7.2.1.12). Applying Corollary 7.2.2.3, we see that the natural transformation $\alpha$ satisfies condition $(\ast _ C)$ of Definition 7.3.1.2 if and only if $\alpha '$ satisfies condition $(\ast _ C)$. The desired result now follows by allowing the object $C \in \operatorname{\mathcal{C}}$ to vary. $\square$

Proposition 7.3.1.15. Suppose we are given a diagram

$\xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{C}}\ar [dr]^{F} \ar@ {=>}[]+<0pt,-25pt>;+<0pt,-50pt>^-{\alpha } & \\ K \ar [ur]^{\delta } \ar [rr]_{F_0} & & \operatorname{\mathcal{D}}}$

as in Definition 7.3.1.2, where $\delta$ factors as a composition

$K \xrightarrow { \delta ^{0} } \operatorname{\mathcal{C}}^{0} \xrightarrow {G} \operatorname{\mathcal{C}}$

for some $\infty$-category $\operatorname{\mathcal{C}}^{0}$. Then:

$(1)$

If $G$ is fully faithful and $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$, then it also exhibits $F \circ G$ as a right Kan extension of $F_0$ along $\delta ^{0}$.

$(2)$

If $G$ is an equivalence of $\infty$-categories and $\alpha$ exhibits $F \circ G$ as a right Kan extension of $F_0$ along $\delta ^0$, then it exhibits $F$ as a right Kan extension of $F_0$ along $\delta$.

Proof. Assume that $G$ is fully faithful. Then, for every pair of objects $X,Y \in \operatorname{\mathcal{C}}^{0}$, the induced map of left-pinched morphism spaces

$\operatorname{\mathcal{C}}^{0}_{X/} \times _{\operatorname{\mathcal{C}}} \{ Y\} = \operatorname{Hom}^{\mathrm{L}}_{\operatorname{\mathcal{C}}^{0}}( X,Y) \rightarrow \operatorname{Hom}^{\mathrm{L}}_{\operatorname{\mathcal{C}}}( G(X), G(Y) ) = \operatorname{\mathcal{C}}_{ G(X) / } \times _{\operatorname{\mathcal{C}}} \{ G(Y) \}$

is a homotopy equivalence. Allowing $Y$ to vary and applying Corollary 5.1.6.15, we see that the natural map $\operatorname{\mathcal{C}}^{0}_{X/} \rightarrow \operatorname{\mathcal{C}}_{ G(X)/ } \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}^0$ of left fibrations over $\operatorname{\mathcal{C}}^{0}$. It follows that the induced map

$\operatorname{\mathcal{C}}^{0}_{X/} \times _{ \operatorname{\mathcal{C}}^{0} } K \rightarrow \operatorname{\mathcal{C}}_{ G(X) / } \times _{ \operatorname{\mathcal{C}}} K$

is an equivalence of left fibrations over $K$. In particular it is a categorical equivalence of simplicial sets (Proposition 5.1.6.5) and therefore left cofinal (Corollary 7.2.1.12). Applying Corollary 7.2.2.3, we see that the natural transformation $\alpha$ satisfies condition $(\ast _ X)$ of Definition 7.3.1.2 if and only if it satisfies condition $(\ast _{ G(X) })$. Assertion $(1)$ now follows by allowing the object $X \in \operatorname{\mathcal{C}}^{0}$ to vary.

We now prove $(2)$. Assume that $G$ is an equivalence of $\infty$-categories and that $\alpha$ exhibits $F \circ G$ as a right Kan extension of $F_0$ along $\delta ^0$; we wish to show that $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$. Let $H: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}^{0}$ be a homotopy inverse of $G$. Then $H$ is left adjoint to $G$, so we can choose natural transformations

$\eta : \operatorname{id}_{ \operatorname{\mathcal{C}}} \rightarrow G \circ H \quad \quad \epsilon : H \circ G \rightarrow \operatorname{id}_{\operatorname{\mathcal{C}}^{0}}$

which are compatible up to homotopy in the sense of Definition 6.2.1.1. Note that $\eta$ and $\epsilon$ are isomorphisms (Proposition 6.1.4.1). Let $\alpha '$ denote a composition of the natural transformations

$F \circ G \circ H \circ G \circ \delta ^0 \xrightarrow {\epsilon } F \circ G \circ \delta ^0 \xrightarrow {\alpha } F_0.$

Using Remark 7.3.1.11, we see that $\alpha '$ exhibits $H \circ G \circ \delta ^0 = H \circ \delta$ as a right Kan extension of $F_0$ along $F \circ G$. Applying assertion $(1)$ to the fully faithful functor $H: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}^{0}$, we deduce that $\alpha '$ also exhibits $\delta$ as a right Kan extension of $F_0$ along $F \circ G \circ H$. The compatibility of $\eta$ and $\epsilon$ guarantees that $\alpha$ is a composition of the natural transformations

$F \circ \delta \xrightarrow { \eta } F \circ G \circ H \circ \delta \xrightarrow { \alpha ' } F_0.$

Applying Remark 7.3.1.12, we conclude that $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$, as desired. $\square$

Corollary 7.3.1.16. Let $G: \operatorname{\mathcal{C}}^{0} \rightarrow \operatorname{\mathcal{C}}$, $F_0: \operatorname{\mathcal{C}}^{0} \rightarrow \operatorname{\mathcal{D}}$, and $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be functors of $\infty$-categories, where $G$ is fully faithful. Then:

• If $\alpha : F \circ G \rightarrow F_0$ is a natural transformation which exhibits $F$ as a right Kan extension of $F_0$ along $G$, then $\alpha$ is an isomorphism in the $\infty$-category $\operatorname{Fun}( \operatorname{\mathcal{C}}^{0}, \operatorname{\mathcal{D}})$.

• If $\beta : F_0 \rightarrow F \circ G$ is a natural transformation which exhibits $F$ as a left Kan extension of $F_0$ along $G$, then $\beta$ is an isomorphism in the $\infty$-category $\operatorname{Fun}( \operatorname{\mathcal{C}}^{0}, \operatorname{\mathcal{D}})$.

Proof. Let $\alpha : F \circ G \rightarrow F_0$ be a natural transformation which exhibits $F$ as a right Kan extension of $F_0$ along $G$. Applying Proposition (in the special case where $K = \operatorname{\mathcal{C}}^0$), we deduce that $\alpha$ also exhibits $F \circ G$ as a right Kan extension of $F_0$ along the identity functor $\operatorname{id}_{ \operatorname{\mathcal{C}}^{0} }: \operatorname{\mathcal{C}}^{0} \rightarrow \operatorname{\mathcal{C}}^{0}$. Invoking Example 7.3.1.8, we see that $\alpha$ is an isomorphism. This proves the first assertion; the second follows by a similar argument. $\square$

Proposition 7.3.1.17. Suppose we are given a diagram

$\xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{C}}\ar [dr]^{F} \ar@ {=>}[]+<0pt,-25pt>;+<0pt,-50pt>^-{\alpha } & \\ K \ar [ur]^{\delta } \ar [rr]_{F_0} & & \operatorname{\mathcal{D}}}$

as in Definition 7.3.1.2. Assume that $\delta$ exhibits $\operatorname{\mathcal{C}}$ as a localization of $K$ (with respect to some collection of edges of $K$) and that $\alpha$ is an isomorphism in the $\infty$-category $\operatorname{Fun}(K, \operatorname{\mathcal{D}})$. Then $\alpha$ exhibits $F$ as a right Kan extension of $F_0$ along $\delta$.

Proof. Fix an object $C \in \operatorname{\mathcal{C}}$. Since $\alpha$ is an isomorphism, it will suffice to show that the tautological map $\underline{F(C)} \rightarrow (F \circ \delta )|_{ K_{C/} }$ exhibits $F(C)$ as a limit of the diagram $(F \circ \delta )|_{ K_{C/} }$. Since the projection map $\operatorname{\mathcal{C}}_{C/} \rightarrow \operatorname{\mathcal{C}}$ is a left fibration (Proposition 4.3.6.1), the map $\delta _{C/}: K_{C/} \rightarrow \operatorname{\mathcal{C}}_{C/}$ exhibits the $\infty$-category $\operatorname{\mathcal{C}}_{C/}$ as a localization of the simplicial set $K_{C/}$ (Corollary 6.3.5.5). In particular, $\delta _{C/}$ is left cofinal (Proposition 7.2.1.9). We can therefore replace $K$ by $\operatorname{\mathcal{C}}$ (Corollary 7.2.2.7), in which case the desired result follows from the criterion of Corollary 7.2.2.5. $\square$