Definition 18.5.1 (03AA)—The Stacks project

Processing math: 100%

Definition 18.5.1. Let $\mathcal{C}$ be a site. Let $\mathcal{G}$ be a presheaf of sets. The free abelian sheaf $\mathbf{Z}_\mathcal {G}^\#$ on $\mathcal{G}$ is the abelian sheaf $\mathbf{Z}_\mathcal {G}^\#$ which is the sheafification of the free abelian presheaf on $\mathcal{G}$ . In the special case $\mathcal{G} = h_ X$ of a representable presheaf associated to an object $X$ of $\mathcal{C}$ we use the notation $\mathbf{Z}_ X^\#$ .

Comments (2)

Comment #4345 by Manuel Hoff on August 11, 2019 at 16:23

I think there is a word missing in the second sentence: ...which is the sheafification of the free abelian presheaf on $\mathcal G$ .

Comment #4495 by Johan on September 02, 2019 at 12:35

Thanks and fixed here.

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 (2)

Post a comment