Lemma 6.32.4 (00AH)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 6: Sheaves on Spaces
Section 6.32: Closed immersions and (pre)sheaves
Lemma 6.32.4 (cite)

previous lemma
next remark

numberstags

history
statistics
1 tag refers to this tag

Lemma 6.32.4. Let $X$ be a topological space. Let $i : Z \to X$ be the inclusion of a closed subset. Let $(\mathcal{C}, F)$ be a type of algebraic structure with final object $0$ . The functor

$i_* : \mathop{\mathit{Sh}}\nolimits (Z, \mathcal{C}) \longrightarrow \mathop{\mathit{Sh}}\nolimits (X, \mathcal{C})$

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 Z$ .

Proof. Omitted. $\square$

Comments (0)

There are also:

1 comment(s) on Section 6.32: Closed immersions and (pre)sheaves

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).

Comments (0)

Post a comment