Let $\mathscr{C}$, $\mathscr{D}$, and $\mathscr{E}$ be (infinity) categories, and assume we're given a Cartesian diagram: $\require{AMScd}$ \begin{CD} \mathscr{C} \times_{\mathscr{E}} \mathscr{D} @>\operatorname{pr}_1>> \mathscr{D}\\ @V \operatorname{pr}_2 V V @VV \varphi V\\ \mathscr{C} @>>\psi> \mathscr{E} \end{CD} Now let $\mathbf{C}$ be some other cocomplete infinity category and let $F: \mathscr{D} \to \mathbf{C}$ be a functor.

Since $\mathbf{C}$ is cocomplete, we can consider the left Kan extension $\varphi_!(F)$ of $F$ along $\varphi$. By definition, $\varphi_!$ is the left adjoint of the restriction functor $$\varphi^*: \operatorname{Fun}(\mathscr{E},\mathbf{C}) \longrightarrow \operatorname{Fun}(\mathscr{D},\mathbf{C}),$$ where $\operatorname{Fun}(-,-)$ denotes the category of functors between two categories. Similarly, we can consider the left Kan extension $(\operatorname{pr}_2)_!(\operatorname{pr}_1)^*(F)$ of the pullback of $F$ to the fiber product along $\operatorname{pr}_2$.

By the universal property of left Kan extensions, there is a natural transformation $$\beta_F:(\operatorname{pr}_2)_!(\operatorname{pr}_1)^*(F) \longrightarrow \psi^* \varphi_!(F)$$ and I would like to know if there are reasonable conditions we can put on the categories and functors involved so that $\beta_F$ is an isomorphism. Probably this doesn't always hold, but my hope is that there are some nice situations in which it does.

2more comments