La categoría de los haces de grupos abelianos es también una categoría de Grothendieck, que esencialmente significa que se puede definir las teorías de cohomología para estos haces — la razón de toda la construcción.