Lemma 6.31.11. Let X be a topological space. Let j : U \to X be the inclusion of an open subset. Let (\mathcal{C}, F) be a type of algebraic structure such that \mathcal{C} has an initial object e. The functor
is fully faithful. Its essential image consists exactly of those sheaves \mathcal{G} such that \mathcal{G}_ x = e for all x \in X \setminus U.
Comments (0)
There are also: