changeset 766 | 823999dd14fd |
parent 746 | 481eba2ddbc9 |
child 774 | b88c4c4af945 |
--- a/text/a_inf_blob.tex Fri May 06 17:24:08 2011 -0700 +++ b/text/a_inf_blob.tex Fri May 06 17:46:07 2011 -0700 @@ -38,7 +38,8 @@ \begin{thm} \label{thm:product} -Let $Y$ be a $k$-manifold. +Let $Y$ be a $k$-manifold which admits a ball decomposition +(e.g.\ any triangulable manifold). Then there is a homotopy equivalence between ``old-fashioned" (blob diagrams) and ``new-fangled" (hocolimit) blob complexes \[