--- a/text/deligne.tex Fri Jun 25 09:48:24 2010 -0700
+++ b/text/deligne.tex Sat Jun 26 16:31:28 2010 -0700
@@ -206,8 +206,8 @@
The main result of this section is that this chain map extends to the full singular
chain complex $C_*(FG^n_{\ol{M}\ol{N}})$.
-\begin{prop}
-\label{prop:deligne}
+\begin{thm}
+\label{thm:deligne}
There is a collection of chain maps
\[
C_*(FG^n_{\overline{M}, \overline{N}})\otimes \hom(\bc_*(M_1), \bc_*(N_1))\otimes\cdots\otimes
@@ -216,7 +216,7 @@
which satisfy the operad compatibility conditions.
On $C_0(FG^n_{\ol{M}\ol{N}})$ this agrees with the chain map $p$ defined above.
When $k=0$, this coincides with the $C_*(\Homeo(M_0\to N_0))$ action of Section \ref{sec:evaluation}.
-\end{prop}
+\end{thm}
If, in analogy to Hochschild cochains, we define elements of $\hom(M, N)$
to be ``blob cochains", we can summarize the above proposition by saying that the $n$-FG operad acts on