[ALGTOP-L] Whitehead constructive?
matthias.kuenzer at math.rwth-aachen.de
Wed Oct 8 12:15:40 EDT 2008
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.)
More information about the ALGTOP-L