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$

There are also:

• 4 comment(s) on Section 6.24: Continuous maps and sheaves of modules

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).