In homological algebra, the hyperhomology or hypercohomology () is a generalization of (co)homology functors which takes as input not objects in an abelian category but instead chain complexes of objects, so objects in . It is a sort of cross between the derived functor cohomology of an object and the homology of a chain complex since hypercohomology corresponds to the derived global sections functor .
Hyperhomology is no longer used much: since about 1970 it has been largely replaced by the roughly equivalent concept of a derived functor between derived categories.