La
Topología algebraica es una rama de la
matemática en la que se usan las herramientas del
Álgebra abstracta para estudiar los
espacios topológicos. 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.