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.