Collapsing a contractible cofibration
ID: collapsing-a-contractible-cofibration
If is contractible and has the homotopy extension property, the quotient mapis a homotopy equivalence. Extend a contraction of to ; its endpoint is constant on and therefore factors through to supply a homotopy inverse.
New to topics? Read the docs here!