--- a/pnas/pnas.tex Sun Nov 14 18:33:03 2010 -0800
+++ b/pnas/pnas.tex Sun Nov 14 19:25:16 2010 -0800
@@ -219,6 +219,9 @@
\nn{In many places we omit details; they can be found in MW.
(Blanket statement in order to avoid too many citations to MW.)}
+\nn{perhaps say something explicit about the relationship of this paper to big blob paper.
+like: in this paper we try to give a clear view of the big picture without getting bogged down in details}
+
\section{Definitions}
\subsection{$n$-categories} \mbox{}
@@ -831,7 +834,10 @@
The little disks operad $LD$ is homotopy equivalent to
\nn{suboperad of}
the $n=1$ case of the $n$-SC operad. The blob complex $\bc_*(I, \cC)$ is a bimodule over itself, and the $A_\infty$-bimodule intertwiners are homotopy equivalent to the Hochschild cochains $Hoch^*(C, C)$.
-The usual Deligne conjecture (proved variously in \cite{hep-th/9403055, MR1805894, MR2064592, MR1805923}) gives a map
+The usual Deligne conjecture (proved variously in \cite{hep-th/9403055, MR1805894, MR2064592, MR1805923})
+\nn{should check that this is the optimal list of references; what about Gerstenhaber-Voronov?;
+if we revise this list, should propagate change back to main paper}
+gives a map
\[
C_*(LD_k)\tensor \overbrace{Hoch^*(C, C)\tensor\cdots\tensor Hoch^*(C, C)}^{\text{$k$ copies}}
\to Hoch^*(C, C),