Functorial Whitehead Tower? The Whitehead tower of a (pointed) space is a tower of spaces which successively kills the bottom homotopy groups. The first two spaces can be constructed functorially (at least for suitably nice spaces) as the connected component and the universal cover.
Can the remaining spaces be constructed functorially?
For the dual situation the answer is yes. I.e. for the Postnikov tower where we have a tower of spaces where the bottom homotopy groups are intact, but where we have killed off all the higher homotopy groups does have a functorial construction (again for nice spaces). The construction I know passes through simplicial sets. I'm wondering if something similar exists for the Whitehead tower?
 A: 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.)
A: If we have a functorial Postnikov tower of a pointed space X, the tower inherits a basepoint. Then take the tower over the Postnikov tower which is pointwise the path fibration. This is pointwise a fibration. Pull this tower back along the map from the constant tower on X, then this gives a tower over X, which, by the general treatment in Whitehead's 1952 (I think) article, is a Whitehead tower for X. 
A: $W_{n+1}(X)$ is the homotopy fiber of the natural map $W_n(X)\to K(\pi_n(X),n)$, so all of them are functorial.
A: $X \leftarrow B\Omega X \leftarrow B^2 \Omega^2 X \leftarrow \ldots$
