Codex Wiki OurBigBook logoOurBigBook.comSite Source code
If is contractible and has the homotopy extension property, the quotient map
is a homotopy equivalence. Extend a contraction of to ; its endpoint is constant on and therefore factors through to supply a homotopy inverse.

Ancestors (7)

  1. Homotopy extension property
  2. Homotopy
  3. Algebraic topology
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7. Home