Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose that $X$ is the homotopy direct limit of $\{X_i\}$. If each $X_i$ has the homotopy type of a CW-complex, then is $X$ has the homotopy type of a CW-complex?

share|improve this question
    
Obviously not true if you require finite CW complexes. Are you letting your CW complexes have infinitely many cells? Arbitrarily high dimension? –  you Apr 9 '12 at 15:46

1 Answer 1

Yes. This is because the construction of the homotopy colimit over CW-complexes involves taking the geometric realization of a particular coend of simplicial sets. The geometric realization of any simplicial set always has the homotopy type of a CW-complex.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.