Lemma 6.24.5. Let f : X \to Y be a continuous map of topological spaces. Let \mathcal{O} be a sheaf of rings on X. Let \mathcal{F} be a sheaf of \mathcal{O}-modules. The pushforward f_*\mathcal{F}, as defined in Lemma 6.24.1 is a sheaf of f_*\mathcal{O}-modules.
Proof. Obvious from the definition and Lemma 6.21.1. \square
Comments (0)
There are also: