Lemma 6.31.10. Let X be a topological space. Let j : U \to X be the inclusion of an open subset. The functor
j_! : \textit{Ab}(U) \longrightarrow \textit{Ab}(X)
is fully faithful. Its essential image consists exactly of those sheaves \mathcal{G} such that \mathcal{G}_ x = 0 for all x \in X \setminus U.
Comments (0)
There are also: