Algebraic structures in Topology measuring holes of different dimensions in a space.