--- a/pnas/pnas.tex Sun Nov 14 16:10:31 2010 -0800
+++ b/pnas/pnas.tex Sun Nov 14 16:14:37 2010 -0800
@@ -738,10 +738,8 @@
\end{rem}
This result is described in more detail as Example 6.2.8 of \cite{1009.5025}.
-%Fix a topological $n$-category $\cC$, which we'll now omit from notation.
-%Recall that for any $(n-1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ category.
-The $A_\infty$ actions above allow us to state a gluing theorem.
-For simplicity, we omit the $n$-category $\cC$ from the notation.
+Fix a topological $n$-category $\cC$, which we'll now omit from notation.
+Recall that for any $(n-1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ category.
\begin{thm}[Gluing formula]
\label{thm:gluing}
@@ -758,6 +756,9 @@
\end{itemize}
\end{thm}
+\begin{proof} (Sketch.)
+
+\end{proof}
We next describe the blob complex for product manifolds, in terms of the $A_\infty$ blob complex of the $A_\infty$ $n$-categories constructed as above.