Grothendieck unified the two theories: they both arise as derived functors on abelian categories; the abelian category of sheaves of abelian groups on a topological space, and the abelian category of G-modules for a given group G. See also Triangulated category References Additive categories Homological algebra Niels Henrik Abel