sheaf of abelian groups



For CC a site, a sheaf of abelian groups on CC is an abelian group object in the sheaf topos Sh(C)Sh(C).

The category Ab(Sh(C))Ab(Sh(C)) of sheaves of abelian groups is an abelian category and hence serves as a context for homological algebra โ€œparameterized over CCโ€. For the case that C=*C = * is the point, this is just Ab itself.

More generally, for ๐’œ\mathcal{A} an abelian category one can consider ๐’œ\mathcal{A}-valued sheaves Sh(C,๐’œ)Sh(C,\mathcal{A}): abelian sheaves. For this to have good properties ๐’œ\mathcal{A} has to be a Grothendieck category.


A basic textbook introduction begins for instance around Definition 1.6.5 of

A detailed textbook discussion is in section 18 of

category: sheaf theory

Revised on August 19, 2014 22:28:41 by Anonymous Coward (