Lemma 81.10.7. In Situation 81.10.6. The functor (81.10.6.2) is right adjoint to the functor (81.10.6.1).
Proof. This follows easily from the adjointness of $f^*$ to $f_*$ and $j^*$ to $j_*$. Details omitted. $\square$
Lemma 81.10.7. In Situation 81.10.6. The functor (81.10.6.2) is right adjoint to the functor (81.10.6.1).
Proof. This follows easily from the adjointness of $f^*$ to $f_*$ and $j^*$ to $j_*$. Details omitted. $\square$
Comments (0)