Suppose we have: -) A $2$-category $\mathsf{J}$ -) A natural transformation of $\alpha : M \Longrightarrow W : \mathsf{J} \longrightarrow \mathsf{Cat}$ -) A functor $X:\mathsf{J} \longrightarrow \mathsf{Cat}$ Has anyone written down conditions such that the functor: $$ \alpha^*:[\mathsf{J},\mathsf{Cat}](W,X) \longrightarrow [\mathsf{J},\mathsf{Cat}](M,X) $$ admits a left or right adjoint functor? I assume the conditions will be the existence, for each $j\in\mathsf{J}$, of left/right Kan extensions of $$ M_j \longrightarrow X_j $$ along $$ M_j \longrightarrow X_j $$ together with preservation of left/right Kan extensions by the functors $X_f:X_i \longrightarrow X_j$ and something similar, but about pre-composition, about $M$ and $W$ and $\alpha$. This feels like something that someone may have written down.