diff -r a96f3d2ef852 -r 257066702f60 text/a_inf_blob.tex --- 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*}