--- a/blob1.tex	Wed Oct 28 21:59:38 2009 +0000
+++ b/blob1.tex	Fri Oct 30 04:05:33 2009 +0000
@@ -103,10 +103,6 @@
 
 \input{text/a_inf_blob}
 
-% \input{text/A-infty}
-
-% \input{text/gluing}
-
 \input{text/comm_alg}
 
 

--- a/preamble.tex	Wed Oct 28 21:59:38 2009 +0000
+++ b/preamble.tex	Fri Oct 30 04:05:33 2009 +0000
@@ -1,4 +1,5 @@
 %auto-ignore
+%!TEX root = blob1.tex
 %this ensures the arxiv doesn't try to start TeXing here.
 
 \usepackage{amsmath,amssymb,amsfonts}
@@ -122,7 +123,11 @@
 \newcommand{\HC}{\operatorname{Hoch}}
 \newcommand{\HH}{\operatorname{HH}}
 
-\newcommand{\selfarrow}{\ensuremath{\!\!\!\!\!\!\xymatrix{ \ar@(ru,rd)@<-1ex>[]}\phantom{++.}}}
+\newcommand{\selfarrow}{\ensuremath{\!\!\!\!\!\!\xymatrix{ \ar@(ru,rd)@<-1ex>[]}\phantom{++.\!\!}}}
+\newsavebox{\selfarrowcontents}
+\savebox{\selfarrowcontents}{\selfarrow}
+\renewcommand{\selfarrow}{\usebox{\selfarrowcontents}}
+
 
 \def\bc{{\mathcal B}}
 

--- a/text/a_inf_blob.tex	Wed Oct 28 21:59:38 2009 +0000
+++ b/text/a_inf_blob.tex	Fri Oct 30 04:05:33 2009 +0000
@@ -2,7 +2,6 @@
 
 \section{The blob complex for $A_\infty$ $n$-categories}
 \label{sec:ainfblob}
-\label{sec:gluing}
 
 Given an $A_\infty$ $n$-category $\cC$ and an $n$-manifold $M$, we define the blob
 complex $\bc_*(M)$ to the be the homotopy colimit $\cC(M)$ of Section \ref{sec:ncats}.

--- a/text/comm_alg.tex	Wed Oct 28 21:59:38 2009 +0000
+++ b/text/comm_alg.tex	Fri Oct 30 04:05:33 2009 +0000
@@ -1,6 +1,7 @@
 %!TEX root = ../blob1.tex
 
 \section{Commutative algebras as $n$-categories}
+\label{sec:comm_alg}
 
 \nn{this should probably not be a section by itself.  i'm just trying to write down the outline 
 while it's still fresh in my mind.}

--- a/text/definitions.tex	Wed Oct 28 21:59:38 2009 +0000
+++ b/text/definitions.tex	Fri Oct 30 04:05:33 2009 +0000
@@ -1,10 +1,10 @@
 %!TEX root = ../blob1.tex
 
 \section{TQFTs via fields}
-%\label{sec:definitions}
+\label{sec:fields}
 
 In this section we review the construction of TQFTs from ``topological fields".
-For more details see xxxx.
+For more details see \cite{kw:tqft}.
 
 We only consider compact manifolds, so if $Y \sub X$ is a closed codimension 0
 submanifold of $X$, then $X \setmin Y$ implicitly means the closure
@@ -12,7 +12,6 @@
 
 
 \subsection{Systems of fields}
-\label{sec:fields}
 
 Let $\cM_k$ denote the category with objects 
 unoriented PL manifolds of dimension

--- a/text/intro.tex	Wed Oct 28 21:59:38 2009 +0000
+++ b/text/intro.tex	Fri Oct 30 04:05:33 2009 +0000
@@ -2,17 +2,37 @@
 
 \section{Introduction}
 
+We construct the ``blob complex'' $\bc_*(M; \cC)$ associated to an $n$-manifold $M$ and a ``linear $n$-category with strong duality'' $\cC$. This blob complex provides a simultaneous generalisation of several well-understood constructions:
+\begin{itemize}
+\item The vector space $H_0(\bc_*(M; \cC))$ is isomorphic to the usual topological quantum field theory invariant of $M$ associated to $\cC$. (See \S \ref{sec:fields} \nn{more specific}.)
+\item When $n=1$, $\cC$ is just an associative algebroid, and $\bc_*(S^1; \cC)$ is quasi-isomorphic to the Hochschild complex $\HC_*(\cC)$. (See \S \ref{sec:hochschild}.)
+\item When $\cC = k[t]$, thought of as an n-category, we have $$H_*(\bc_*(M; k[t])) = H^{\text{sing}}_*(\Delta^\infty(M), k).$$ (See \S \ref{sec:comm_alg}.)
+\end{itemize}
+The blob complex has good formal properties, summarized in \S \ref{sec:properties}. These include an action of $\CD{M}$, extending the usual $\Diff(M)$ action on the TQFT space $H_0$ (see Property \ref{property:evaluation}) and a `gluing formula' allowing calculations by cutting manifolds into smaller parts (see Property \ref{property:gluing}).
+
+The blob complex definition is motivated by \nn{ continue here ...} give multiple motivations/viewpoints for blob complex: (1) derived cat
+version of TQFT Hilbert space; (2) generalization of Hochschild homology to higher $n$-cats;
+(3) ? sort-of-obvious colimit type construction;
+(4) ? a generalization of $C_*(\Maps(M, T))$ to the case where $T$ is
+a category rather than a manifold
+
+We expect applications of the blob complex to \nn{ ... } but do not address these in this paper.
+\nn{hope to apply to Kh, contact, (other examples?) in the future}
+
+
+\subsubsection{Structure of the paper}
+
+The first part of the paper (sections \S \ref{sec:fields}---\S \ref{sec:evaluation}) gives the definition of the blob complex, and establishes some of its properties. There are many alternative definitions of $n$-categories, and part of our difficulty defining the blob complex is simply explaining what we mean by an ``$n$-category with strong duality'' as one of the inputs. At first we entirely avoid this problem by introducing the notion of a `system of fields', and define the blob complex associated to an $n$-manifold and an $n$-dimensional system of fields. We sketch the construction of a system of fields from a $1$-category or from a pivotal $2$-category.
+
+Nevertheless, when we attempt to establish all of the observed properties of the blob complex, we find this situation unsatisfactory. Thus, in the second part of the paper (section \S \ref{sec:ncats}) we pause and give yet another definition of an $n$-category, or rather a definition of an $n$-category with strong duality. (It's not clear that we could remove the duality conditions from our definition, even if we wanted to.) We call these ``topological $n$-categories'', to differentiate them from previous versions. Moreover, we find that we need analogous $A_\infty$ $n$-categories, and we define these as well following very similar axioms. When $n=1$ these reduce to the usual $A_\infty$ categories.
+
+In the third part of the paper (section \S \ref{sec:ainfblob}) we explain how to construct a system of fields from a topological $n$-category, and give an alternative definition of the blob complex for an $n$-manifold and an $A_\infty$ $n$-category. Using these definitions, we show how to use the blob complex to `resolve' any topological $n$-category as an $A_\infty$ $n$-category, and relate the first and second definitions of the blob complex. We use the blob complex for $A_\infty$ $n$-categories to establish important properties of the blob complex (in both variants), in particular the `gluing formula' of Property \ref{property:gluing} below.
+
+
 [some things to cover in the intro]
 \begin{itemize}
 \item explain relation between old and new blob complex definitions
 \item overview of sections
-\item state main properties of blob complex (already mostly done below)
-\item give multiple motivations/viewpoints for blob complex: (1) derived cat
-version of TQFT Hilbert space; (2) generalization of Hochschild homology to higher $n$-cats;
-(3) ? sort-of-obvious colimit type construction;
-(4) ? a generalization of $C_*(\Maps(M, T))$ to the case where $T$ is
-a category rather than a manifold
-\item hope to apply to Kh, contact, (other examples?) in the future
 \item ?? we have resisted the temptation 
 (actually, it was not a temptation) to state things in the greatest
 generality possible
@@ -84,6 +104,8 @@
 \hrule
 \bigskip
 
+\subsection{Formal properties}
+\label{sec:properties}
 We then show that blob homology enjoys the following properties.
 
 \begin{property}[Functoriality]
@@ -149,14 +171,13 @@
 \end{equation*}
 \end{property}
 
-
+Here $\CD{X}$ is the singular chain complex of the space of diffeomorphisms of $X$, fixed on $\bdy X$.
 \begin{property}[$C_*(\Diff(-))$ action]
 \label{property:evaluation}%
 There is a chain map
 \begin{equation*}
 \ev_X: \CD{X} \tensor \bc_*(X) \to \bc_*(X).
 \end{equation*}
-(Here $\CD{X}$ is the singular chain complex of the space of diffeomorphisms of $X$, fixed on $\bdy X$.)
 
 Restricted to $C_0(\Diff(X))$ this is just the action of diffeomorphisms described in Property \ref{property:functoriality}. Further, for
 any codimension $1$-submanifold $Y \subset X$ dividing $X$ into $X_1 \cup_Y X_2$, the following diagram
@@ -170,11 +191,22 @@
 }
 \end{equation*}
 \nn{should probably say something about associativity here (or not?)}
-\nn{maybe do self-gluing instead of 2 pieces case}
+\nn{maybe do self-gluing instead of 2 pieces case:}
+Further, for
+any codimension $0$-submanifold $Y \sqcup Y^\text{op} \subset \bdy X$ the following diagram
+(using the gluing maps described in Property \ref{property:gluing-map}) commutes.
+\begin{equation*}
+\xymatrix@C+2cm{
+     \CD{X \bigcup_Y \selfarrow} \otimes \bc_*(X \bigcup_Y \selfarrow) \ar[r]^<<<<<<<<<<<<{\ev_{(X \bigcup_Y \scalebox{0.5}{\selfarrow})}}    & \bc_*(X \bigcup_Y \selfarrow) \\
+     \CD{X} \otimes \bc_*(X)
+        \ar[r]_{\ev_{X}}  \ar[u]^{\gl^{\Diff}_Y \otimes \gl_Y}  &
+            \bc_*(X) \ar[u]_{\gl_Y}
+}
+\end{equation*}
 \end{property}
 
 There is a version of the blob complex for $\cC$ an $A_\infty$ $n$-category
-instead of a garden variety $n$-category.
+instead of a garden variety $n$-category; this is described in \S \ref{sec:ainfblob}.
 
 \begin{property}[Product formula]
 Let $M^n = Y^{n-k}\times W^k$ and let $\cC$ be an $n$-category.