--- a/blob1.tex Sun May 30 08:49:27 2010 -0700
+++ b/blob1.tex Sun May 30 11:35:14 2010 -0700
@@ -21,7 +21,7 @@
\maketitle
-[revision $\ge$ 276; $\ge$ 25 May 2010]
+[revision $\ge$ 276; $\ge$ 30 May 2010]
\textbf{Draft version, read with caution.}
@@ -70,12 +70,12 @@
\item Make clear exactly what counts as a "blob diagram", and search for
"blob diagram"
+\item Say something about stabilizing an $n$-category (centre), taking the top $k$ levels of a category, and the stabilization hypothesis?
\end{itemize}
\tableofcontents
-
\input{text/intro}
%\input{text/definitions}
--- a/sandbox.tex Sun May 30 08:49:27 2010 -0700
+++ b/sandbox.tex Sun May 30 11:35:14 2010 -0700
@@ -7,13 +7,10 @@
\input{text/top_matter}
\input{text/kw_macros}
-
%\title{Blob Homology}
\title{Sandbox}
\begin{document}
-\begin{equation*}
-\end{equation*}
\end{document}
--- a/text/intro.tex Sun May 30 08:49:27 2010 -0700
+++ b/text/intro.tex Sun May 30 11:35:14 2010 -0700
@@ -33,7 +33,44 @@
\nn{KW: the previous two paragraphs seem a little awkward to me, but I don't presently have a good idea for fixing them.}
-Finally, later sections address other topics. Section \S \ref{sec:comm_alg} describes the blob complex when $\cC$ is a commutative algebra, thought of as a topological $n$-category, in terms of the topology of $M$. Section \S \ref{sec:deligne} states (and in a later edition of this paper, hopefully proves) a higher dimensional generalisation of the Deligne conjecture (that the little discs operad acts on Hochschild cohomology) in terms of the blob complex. The appendixes prove technical results about $\CH{M}$, and make connections between our definitions of $n$-categories and familar definitions for $n=1$ and $n=2$, as well as relating the $n=1$ case of our $A_\infty$ $n$-categories with usual $A_\infty$ algebras.
+\tikzstyle{box} = [rectangle, rounded corners, draw,outer sep = 5pt, inner sep = 5pt, line width=0.5pt]
+
+{\center
+
+\begin{tikzpicture}[align=center,line width = 1.5pt]
+\newcommand{\xa}{2}
+\newcommand{\xb}{10}
+\newcommand{\ya}{14}
+\newcommand{\yb}{10}
+\newcommand{\yc}{6}
+
+\node[box] at (\xa,\ya) (C) {$\cC$ \\ a topological \\ $n$-category};
+\node[box] at (\xb,\ya) (A) {$A(M; \cC)$ \\ the (dual) TQFT \\ Hilbert space};
+\node[box] at (\xa,\yb) (FU) {$(\cF, \cU)$ \\ fields and\\ local relations};
+\node[box] at (\xb,\yb) (BC) {$\bc_*(M; \cC)$ \\ the blob complex};
+\node[box] at (\xa,\yc) (Cs) {$\cC_*$ \\ an $A_\infty$ \\$n$-category};
+\node[box] at (\xb,\yc) (BCs) {$\bc_*(M; \cC_*)$};
+
+
+
+\draw[->] (C) -- node[above] {$\displaystyle \colim_{\cell(M)} \cC$} (A);
+\draw[->] (FU) -- node[below] {blob complex \\ for $M$} (BC);
+\draw[->] (Cs) -- node[below] {$\displaystyle \hocolim_{\cell(M)} \cC_*$} (BCs);
+
+\draw[->] (FU) -- node[right=10pt] {$\cF(M)/\cU$} (A);
+
+\draw[->] (C) -- node[left=10pt,align=left] {
+ %$\displaystyle \cF(M) = \DirectSum_{c \in\cell(M)} \cC(c)$ \\ $\displaystyle \cU(B) = \DirectSum_{c \in \cell(B)} \ker \ev: \cC(c) \to \cC(B)$
+ } (FU);
+\draw[->] (BC) -- node[right] {$H_0$} (A);
+
+\draw[->] (FU) -- node[left] {blob complex \\ for balls} (Cs);
+\draw (BC) -- node[right] {$\iso$ by \\ Corollary \ref{cor:new-old}} (BCs);
+\end{tikzpicture}
+
+}
+
+Finally, later sections address other topics. Section \S \ref{sec:comm_alg} describes the blob complex when $\cC$ is a commutative algebra, thought of as a topological $n$-category, in terms of the topology of $M$. Section \S \ref{sec:deligne} states (and in a later edition of this paper, hopefully proves) a higher dimensional generalization of the Deligne conjecture (that the little discs operad acts on Hochschild cohomology) in terms of the blob complex. The appendixes prove technical results about $\CH{M}$, and make connections between our definitions of $n$-categories and familiar definitions for $n=1$ and $n=2$, as well as relating the $n=1$ case of our $A_\infty$ $n$-categories with usual $A_\infty$ algebras.
\nn{some more things to cover in the intro}
--- a/text/kw_macros.tex Sun May 30 08:49:27 2010 -0700
+++ b/text/kw_macros.tex Sun May 30 11:35:14 2010 -0700
@@ -60,7 +60,10 @@
% \DeclareMathOperator{\pr}{pr} etc.
\def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}}
-\applytolist{declaremathop}{pr}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad};
+\applytolist{declaremathop}{pr}{im}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{Homeo}{sign}{supp}{Nbd}{res}{rad}{cell};
+
+\DeclareMathOperator*{\colim}{colim}
+\DeclareMathOperator*{\hocolim}{hocolim}
\DeclareMathOperator{\kone}{cone}