Álgebra homológica en topología algebraica (Clasificación de espacios)