Theory attempting to compare topological spaces and investigate their structures by determining the algebraic nature and interrelationships appearing in the various homology groups.