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)