--- a/text/hochschild.tex Tue Mar 16 14:11:07 2010 +0000
+++ b/text/hochschild.tex Thu Mar 18 19:40:46 2010 +0000
@@ -184,7 +184,7 @@
We want to define a homotopy inverse to the above inclusion, but before doing so
we must replace $\bc_*(S^1)$ with a homotopy equivalent subcomplex.
-Let $J_* \sub \bc_*(S^1)$ be the subcomplex where * does not lie to the boundary
+Let $J_* \sub \bc_*(S^1)$ be the subcomplex where * does not lie on the boundary
of any blob. Note that the image of $i$ is contained in $J_*$.
Note also that in $\bc_*(S^1)$ (away from $J_*$)
a blob diagram could have multiple (nested) blobs whose