In mathematics, algebraic homotopy is a research program on homotopy theory proposed by J.H.C. Whitehead in his 1950 ICM talk, where he described it as:[1][2]
The ultimate object of algebraic homotopy is to construct a purely algebraic theory, which is equivalent to homotopy theory in the same sort of way that 'analytic' is equivalent to 'pure' projective geometry.
In spirit, the program is somehow similar to Grothendieck's homotopy hypothesis. However, according to Ronnie Brown, "Looking again at Esquisses d'un Progamme, it seems that programme has currently little relation to Whitehead's."[3]
References
edit- ^ Baues, Homotopy Types in Chapter 1 in Handbook of Algebraic Topology
- ^ NB: we need a citation to the original source.
- ^ https://mathoverflow.net/questions/266738/current-status-of-grothendiecks-homotopy-hypothesis-and-whiteheads-algebraic-h
- https://ncatlab.org/nlab/show/algebraic+homotopy
- Handbook of Algebraic Topology edited by I.M. James
Further reading
edit- https://ncatlab.org/nlab/show/Algebraic+Homotopy, an entry about a book
 | This topology-related article is a stub. You can help Wikipedia by expanding it. |