Skip to main content
added 110 characters in body
Source Link
Reid Barton
  • 25.2k
  • 1
  • 76
  • 133

The nth stage of the Whitehead tower of X is the homotopy fiber of the map from X to the nth (or so) stage of its Postnikov tower, so you can use your functorial construction of the Postnikov tower plus a functorial construction of the homotopy fiber (such as the usual one using the path space of the target).

The nth stage of the Whitehead tower of X is also the cofibrant replacement for X in the right Bousfield localization of Top with respect to the object Sn (or so). Since Top is right proper and cellular this localization exists by the result of chapter 5 of Hirschhorn's book on localizations of model categories. You might look there to see how the cofibrant replacement functor is constructed. With some care you should be able to define functorially the maps in the tower as well.

(BTW, the Postnikov tower can similarly be obtained functorially by a left Bousfield localization of Top.)

The nth stage of the Whitehead tower of X is the homotopy fiber of the map from X to the nth (or so) stage of its Postnikov tower, so you can use your functorial construction of the Postnikov tower plus a functorial construction of the homotopy fiber (such as the usual one using the path space of the target).

The nth stage of the Whitehead tower of X is also the cofibrant replacement for X in the right Bousfield localization of Top with respect to the object Sn (or so). Since Top is right proper and cellular this localization exists by the result of chapter 5 of Hirschhorn's book on localizations of model categories. You might look there to see how the cofibrant replacement functor is constructed. With some care you should be able to define functorially the maps in the tower as well.

The nth stage of the Whitehead tower of X is the homotopy fiber of the map from X to the nth (or so) stage of its Postnikov tower, so you can use your functorial construction of the Postnikov tower plus a functorial construction of the homotopy fiber (such as the usual one using the path space of the target).

The nth stage of the Whitehead tower of X is also the cofibrant replacement for X in the right Bousfield localization of Top with respect to the object Sn (or so). Since Top is right proper and cellular this localization exists by the result of chapter 5 of Hirschhorn's book on localizations of model categories. You might look there to see how the cofibrant replacement functor is constructed. With some care you should be able to define functorially the maps in the tower as well.

(BTW, the Postnikov tower can similarly be obtained functorially by a left Bousfield localization of Top.)

Source Link
Reid Barton
  • 25.2k
  • 1
  • 76
  • 133

The nth stage of the Whitehead tower of X is the homotopy fiber of the map from X to the nth (or so) stage of its Postnikov tower, so you can use your functorial construction of the Postnikov tower plus a functorial construction of the homotopy fiber (such as the usual one using the path space of the target).

The nth stage of the Whitehead tower of X is also the cofibrant replacement for X in the right Bousfield localization of Top with respect to the object Sn (or so). Since Top is right proper and cellular this localization exists by the result of chapter 5 of Hirschhorn's book on localizations of model categories. You might look there to see how the cofibrant replacement functor is constructed. With some care you should be able to define functorially the maps in the tower as well.