Lemma 6.31.12. Let $(X, \mathcal{O})$ be a ringed space. Let $j : (U, \mathcal{O}|_ U) \to (X, \mathcal{O})$ be an open subspace. The functor

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: