Hovedproblemet i algebraisk topologi er å finne algebraiske invarianter som klassifiserer topologiske rom opp til homeomorfisme, selv om de fleste klassifiserer opp til homotopisk likhet.