*Homology* is a way of attaching abelian groups (or more elaborate algebraic objects) to a topological space so as to obtain algebraic invariants. In some sense it detects the presence of "holes" of various dimensions in the space.

The methods developed to handle this led to what is now called *homological algebra* and homological invariants can be calculated for many purely algebraic structures.