text/a_inf_blob.tex
changeset 420 257066702f60
parent 418 a96f3d2ef852
child 426 8aca80203f9d
--- a/text/a_inf_blob.tex	Mon Jul 05 07:47:23 2010 -0600
+++ b/text/a_inf_blob.tex	Wed Jul 07 10:17:21 2010 -0600
@@ -41,9 +41,9 @@
 Given a topological $n$-category $C$ and a $n{-}k$-manifold $F$, recall from 
 Example \ref{ex:blob-complexes-of-balls} that there is an  $A_\infty$ $k$-category $\bc_*(F; C)$ defined by
 \begin{equation*}
-\bc_*(F; C) = \cB_*(B \times F, C).
+\bc_*(F; C)(B) = \cB_*(F \times B; C).
 \end{equation*}
-Now, given a $k$-manifold $Y$, there is a homotopy equivalence between the `old-fashioned' 
+Now, given a $k$-manifold $Y$, there is a homotopy equivalence between the ``old-fashioned'' 
 blob complex for $Y \times F$ with coefficients in $C$ and the ``new-fangled" 
 (i.e.\ homotopy colimit) blob complex for $Y$ with coefficients in $\bc_*(F; C)$:
 \begin{align*}