Definition:Abelian Sheaf

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a topological space.


Definition 1

An abelian sheaf on $X$ is a sheaf on $X$ with values in the category of abelian groups.


Definition 2

An abelian sheaf on $X$ is a sheaf of $\underline{\mathbb{Z}}$-modules on $X$, where $\underline{\mathbb{Z}}$ is the constant sheaf with value the ring of integers $\Z$.


Also see