# [ALGTOP-L] Whitehead constructive?

Matthias Künzer matthias.kuenzer at math.rwth-aachen.de
Wed Oct 8 12:15:40 EDT 2008

Dear Algtop-list,

by Whitehead, a weak homotopy equivalence between connected Kan
simplicial sets is a simplicial homotopy equivalence. Does there exist
a construction (involving choices) of the inverse-up-to-homotopy?

(We are particularly interested in the case of a weak homotopy
equivalence in the image of \bar W: simp. gps -> simp. sets.)

Best

Matthias Künzer