It is known that all metric compact ANR have the homotopy type of finite CW complexes. Which spaces are homotopy equivalent or finitely dominated by CW complexes of finite type?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
Let $X$ be a space, which we may as well assume connected. If $X$ is an ANR, then Milnor gives that $X$ is homotopy equivalent to a countable CWcomplex $X'$. The question of when $X'$ is homotopy equivalent to a complex of finite type is addressed in Theorem A of Wall, C. T. C. Finiteness conditions for CWcomplexes. Ann. of Math. (2) 81 1965 56–69. and discussed further in Wall, C. T. C. Finiteness conditions for CW complexes. II. Proc. Roy. Soc. Ser. A 295 1966 129–139. Note the necessary condition that $\pi_1(X')$ be finitely presented. I suspect there are more modern references building on Wall's work, but I couldn't find any. 

