\documentclass[11pt,leqno]{article}

\newcommand{\pathtotrunk}{./}
\input{text/article_preamble}
\input{text/top_matter}
\input{text/kw_macros}

\title{The Blob Complex}

\begin{document}

\makeatletter
\@addtoreset{equation}{section}
\gdef\theequation{\thesection.\arabic{equation}}
\makeatother

\maketitle

[revision $\ge$ 320;  $\ge$ 2 June 2010]

\textbf{Draft version, read with caution.}

\paragraph{To do list}
\begin{itemize}
\item[1] (K) tweak intro
\item[2] (S) needs explanation that this will be superseded by the n-cat
definitions in \S 7.
\item[2] (S) incorporate improvements from later
\item[2.3] (S) foreshadow generalising; quotient to resolution
\item[3] (K) look over blob homology section again
\item[4] (S) basic properties, not much to do
\item[5] (K) finish the lemmas in the Hochschild section
\item[6] (K) proofs need finishing, then (S) needs to confirm details and try
to make more understandable
\item[7] (S) do some work here -- identity morphisms are still imperfect. Say something about the cobordism and stabilization hypotheses \cite{MR1355899} in this setting? Say something about $E_n$ algebras?
\item[7.6] is new! (S) read
\item[8] improve the beginning, finish proof for products,
check the argument about maps
\item[9] (K) proofs trail off
\item[10] (S) read what's already here
\item[A] may need to weaken statement to get boundaries working (K) finish
\item[B] (S) look at this, decide what to keep

\item Work in the references Chris Douglas gave us on the classification of local field theories, \cite{BDH-seminar,DSP-seminar,schommer-pries-thesis,0905.0465}.
\nn{KW: Do we need to do this?  We don't really classify field theories.
I suppose our work could be interpreted as a alternative proof of cobordism hypothesis, but we 
don't emphasize that at the moment.  
On the other hand, I'm happy to do Chris a favor by citing this stuff.}

\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?

\item say something about starting with semisimple n-cat (trivial?? not trivial?)

\item maybe to do: add appendix on various versions of acyclic models


\end{itemize}

\tableofcontents


\input{text/intro}

\input{text/tqftreview}

\input{text/blobdef}

\input{text/basic_properties}

\input{text/hochschild}

\input{text/evmap}

\input{text/ncat}

\input{text/a_inf_blob}

\input{text/deligne}

\appendix

\input{text/appendixes/famodiff}

\input{text/appendixes/smallblobs}

\input{text/appendixes/comparing_defs}

\input{text/comm_alg}

% ----------------------------------------------------------------
%\newcommand{\urlprefix}{}
\bibliographystyle{plain}
\bibliography{bibliography/bibliography}
% ----------------------------------------------------------------

This paper is available online at \arxiv{?????}, and at
\url{http://tqft.net/blobs},
and at \url{http://canyon23.net/math/}.

% ----------------------------------------------------------------
\end{document}
% ----------------------------------------------------------------