text/a_inf_blob.tex
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
 \[