It seems like when we assume "niceness" in homotopy theory we assume that $X$ has the homotopy type of a CW complex, and in fiber bundle theory we assume that $X$ is paracompact. How do these two interact? Is any space with the homotopy type of a CW complex paracompact? (In particular, is $I^I$ paracompact?)

(CW complexes are always paracompact and Hausdorff. According to Milnor (http://www.jstor.org/stable/1993204) a paracompact space that is "equi locally convex" will have the homotopy type of a CW complex. Also according to that paper, if $X$ has the homotopy type of a CW complex and $K$ is actually a finite complex then $X^K$ has the homotopy type of a CW complex.)

4more comments