Lemma 18.22.2. Let
be a morphism of ringed topoi. Let \mathcal{G} be a sheaf on \mathcal{D}. Set \mathcal{F} = f^{-1}\mathcal{G}. If f is given by a continuous functor u : \mathcal{D} \to \mathcal{C} and \mathcal{G} = h_ V^\# , then the commutative diagrams of Lemma 18.20.1 and Lemma 18.22.1 agree via the identifications of Lemma 18.21.3.
Comments (0)