Homotopiteorin försöker explicit beskriva hur många homotopiklasser av avbildningar det finns mellan två givna topologiska rum X och Y. Detta problem är mycket svårt och ofta ännu olöst, t.ex. för fallet då X är en sfär Sⁿ (med Sⁿ menas alla n+l-tupler