--- a/blob1.tex Tue Jul 01 04:00:22 2008 +0000
+++ b/blob1.tex Tue Jul 01 21:10:16 2008 +0000
@@ -984,6 +984,7 @@
\gl : A(J, c_-, c_0) \tensor A(J', c_0, c_+) \to A(J \cup J', c_-, c_+).
\end{equation*}
The action of diffeomorphisms, and $k$-parameter families of diffeomorphisms, ignore the boundary conditions.
+\todo{we presumably need to say something about $\Id_c \in A(J, c, c)$.}
The definition of a module follows closely the definition of an algebra or category.
\begin{defn}
@@ -1019,7 +1020,7 @@
\end{defn}
Give an `algebraic' $A_\infty$ category $(A, m_k)$, we can construct a topological $A_\infty$-category, which we call $\bc_*^A$. You should
-think of this at the generalisation of the blob complex, although the construction we give will \emph{not} specialise to exactly the usual definition
+think of this as a generalisation of the blob complex, although the construction we give will \emph{not} specialise to exactly the usual definition
in the case the $A$ is actually an associative category.
\begin{defn}
\end{defn}