El objetivo básico es encontrar invariantes algebraicas que clasifican los espacios topológicos hasta el homeomorfismo, aunque normalmente muchos se clasifican hasta la equivalencia homotópica.