I will try to answer the second question. Notice that the main results of this answer are **Cor 1** and **Cor 2**, but Prop 1 and 2 have a theoretical interest. >**Cor 1.** Let ${\bf C} \xleftarrow{i} {\bf A} \xrightarrow{f} {\bf B}$ be a span where $i$ is dense and fully faithful. Moreover ${\bf A}$ is small, ${\bf C}$ and ${\bf B}$ are locally presentable. Then $\text{lan}_if \dashv \text{lan}_fi$. >**Cor 2.** Let ${\bf C} \xleftarrow{i} {\bf A} \xrightarrow{f} {\bf B}$ be a span where $i$ is dense and fully faithful. Moreover ${\bf A}$ is accessible, ${\bf C}$ and ${\bf B}$ are locally presentable, $i$ and $f$ are accessible. Then $\text{lan}_if \dashv \text{lan}_fi$. ------- >**Prop 1.** Let ${\bf C} \xleftarrow{i} {\bf A} \xrightarrow{f} {\bf B}$ be a span where $i$ is dense and fully faithful. Moreover $\text{lan}_if$ is pointwise. Then, the following are equivalent. >1. $\text{lan}_if \dashv \text{lan}_fi$. 2. $f$ is the $i$-relative left adjoint of $\text{lan}_fi$, i.e. ${\bf C}(i, \text{lan}_fi) \cong {\bf B}(f, \_ ).$ 3. $f = \text{lift}_{\text{lan}_fi}i$ and the lift is absolute. > If $i$ is only fully faithful $1 \Rightarrow 2$, if $i$ is only dense $2 \Rightarrow 1$. Proof. $1 \Rightarrow 2$) $${\bf B}(f, \_) \stackrel{i \text{ is ff.}}{\cong} {\bf B}((\text{lan}_if) i, \_) \stackrel{1}{\cong} {\bf C}(i, \text{lan}_fi).$$ $2 \Rightarrow 1$) $${\bf B}(\text{lan}_if, \_) \stackrel{\text{point.}}{\cong} \text{lan}_i{\bf B}(f, \_) \stackrel{2}{\cong} \text{lan}_i{\bf C}(i, \text{lan}_fi) \stackrel{\text{point.}}{\cong} {\bf C}(\text{lan}_ii, \text{lan}_fi) \stackrel{i \text{ is dense}}{\cong} {\bf C}(\_, \text{lan}_fi).$$ $3$ is just a rewriting of $2$. ----- Now we study a very special setting. Let ${\bf C} \xleftarrow{i} {\bf A} \xrightarrow{f} {\bf B}$ be a span where $i$ is dense and fully faithful. Moreover $\text{lan}_if$ is pointwise, ${\bf A}$ is small, ${\bf C}$ and ${\bf B}$ are cocomplete. In this setting ${\bf C}$ is a reflective subcategory $ V: {\bf C} \leftrightarrows \text{Set}^{{\bf A}^\circ} : L $ of $\text{Set}^{{\bf A}^\circ}$ via the nerve $V = \text{lan}_i(y_{{\bf A}})$ (V is the right adjoint). >**Prop 2.** Let ${\bf C} \xleftarrow{i} {\bf A} \xrightarrow{f} {\bf B}$ be a span where $i$ is dense and fully faithful. Moreover $\text{lan}_if$ is pointwise, ${\bf A}$ is small, ${\bf C}$ and ${\bf B}$ are cocomplete. Then, the following are equivalent. >1. $\text{lan}_if \dashv \text{lan}_fi$. >2. V preserves $\text{lan}_fi$. >3. ${\bf C}(i,\text{lan}_fi) \cong \text{lan}_f{\bf C}(i,i)$. Proof. $1 \Rightarrow 2)$. Using Prop 1. we know that ${\bf C}(i, \text{lan}_fi) \cong {\bf B}(f, \_ )$. Since the presheaf construction is a Yoneda structure, we have that $\text{Set}^{{\bf A}^\circ}(y_A, \text{lan}_fy_A) \cong {\bf B}(f, \_)$. Thus, $$ {\bf C}(i, \text{lan}_fi) \cong {\bf B}(f, \_) \cong \text{Set}^{{\bf A}^\circ}(y_A, \text{lan}_fy_A) \cong \text{Set}^{{\bf A}^\circ}(y_A, \text{lan}_fVi)$$ Observe also that $${\bf C}(i, \text{lan}_fi) \cong {\bf C}(Ly_A, \text{lan}_fi) \stackrel{L \dashv V}{\cong} \text{Set}^{{\bf A}^\circ}(y_A, V\text{lan}_fi),$$ putting the last two equation together, one gets: $$\text{Set}^{{\bf A}^\circ}(y_A, \text{lan}_fVi) \cong \text{Set}^{{\bf A}^\circ}(y_A, V\text{lan}_fi). $$ By Yoneda Lemma the two functors on the right have to coincide. $2 \Rightarrow 1).$ Using Prop 1. it is enough to prove that ${\bf C}(i, \text{lan}_fi) \cong {\bf B}(f, \_ )$. Since the presheaf construction is a Yoneda structure, we have that $\text{Set}^{{\bf A}^\circ}(y_A, \text{lan}_fy_A) \cong {\bf B}(f, \_)$. Now, $${\bf C}(i, \text{lan}_fi) \cong {\bf C}(Ly_A, \text{lan}_fi) \stackrel{L \dashv V}{\cong} \text{Set}^{{\bf A}^\circ}(y_A, V\text{lan}_fi) \stackrel{2}{\cong} \text{Set}^{{\bf A}^\circ}(y_A, \text{lan}_fVi) \cong \text{Set}^{{\bf A}^\circ}(y_A, \text{lan}_fy_A) \cong {\bf B}(f, \_). $$ $3$ is just a rewriting of $2$. >**Cor 1.** Let ${\bf C} \xleftarrow{i} {\bf A} \xrightarrow{f} {\bf B}$ be a span where $i$ is dense and fully faithful. Moreover ${\bf A}$ is small, ${\bf C}$ and ${\bf B}$ are locally presentable. Then $\text{lan}_if \dashv \text{lan}_fi$. Sketch of Proof. This proof based on checking that the condition $3$ of Prop 2. is always verified. Consider a cardinal $\kappa$ such that both ${\bf C}$ and ${\bf B}$ are $\kappa$ presentable, $i( {\bf A}) \subset \text{Pres}_{\kappa}{\bf C} := {\bf C}_{\kappa}$ and $f ({\bf A}) \subset \text{Pres}_{\kappa}{\bf B} := {\bf B}_{\kappa}$. Observe that ${\bf C} = \text{Ind}_{\kappa}{\bf C}_{\kappa}$, and that the same holds for ${\bf B}$. Since $\text{lan}_if$ must be $\kappa$-accessible, the diagram that defines the colimit formula of the kan extension can be taken to be $\kappa$-directed. Since $iA$ is cointained in ${\bf C}_{\kappa}$, the condition $3$ in Prop 2 is verified. >**Cor 2.** Let ${\bf C} \xleftarrow{i} {\bf A} \xrightarrow{f} {\bf B}$ be a span where $i$ is dense and fully faithful. Moreover ${\bf A}$ is accessible, ${\bf C}$ and ${\bf B}$ are locally presentable, $i$ and $f$ are accessible. Then $\text{lan}_if \dashv \text{lan}_fi$. Proof. This follows from corollary $1$, restricting $f$ and $i$ to the presentable generator of ${\bf A}$.