\documentclass[11pt,leqno]{amsart}

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


\title{Blob Homology}

\begin{document}

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

\maketitle

\textbf{Draft version, do not distribute.}

%\versioninfo
[26 August 2009, v. 119(?)]

\medskip


\noindent
{\bf Warning:} This draft is draftier than you might expect.
More specifically,
\begin{itemize}
\item Some sections are missing.
\item Many sections are incomplete.
In some cases the incompleteness is noted, in some cases not.
\item Some sections have been rewritten, but the older, obsolete version of
the section has not been deleted yet.
\item Some sections were written nearly two years ago, and are now outdated.
\item Some sections have not been proof-read.
\item There are not yet enough citations to similar work of other people.
\item Due to multiple authors and multiple, disconnected episodes of writing,
the various parts do not cohere as well as they should. 
\end{itemize}
Despite all this, there's probably enough decipherable material
here to interest the motivated reader.
On the other hand, if you are only going to read this paper once,
{\bf then don't read this version,} as a more complete version will be available in a couple of months.

\noop{

\section*{Todo}

\subsection*{What else?...}

\begin{itemize}
\item higher priority
\begin{itemize}
\item K\&S: learn the state of the art in A-inf categories
(tensor products, Kadeishvili result, ...)
\item K: so-called evaluation map stuff
\item K: topological fields
\item section describing intended applications
\item say something about starting with semisimple n-cat (trivial?? not trivial?)
\item T.O.C.
\end{itemize}
\item medium priority
\begin{itemize}
\item $n=2$ examples
\item dimension $n+1$ (generalized Deligne conjecture?)
\item should be clear about PL vs Diff; probably PL is better
(or maybe not)
\item something about higher derived coend things (derived 2-coend, e.g.)
\item shuffle product vs gluing product (?)
\item connection between $A_\infty$ operad and topological $A_\infty$ cat defs
\end{itemize}
\item lower priority
\begin{itemize}
\item Derive Hochschild standard results from blob point of view?
\item Kh
\item Mention somewhere \cite{MR1624157} ``Skein homology''; it's not directly related, but has similar motivations.
\end{itemize}
\end{itemize}

} %end \noop



\input{text/intro}

\input{text/definitions}

\input{text/basic_properties}

\input{text/hochschild}

\input{text/evmap}

\input{text/ncat}

\input{text/a_inf_blob}

\input{text/A-infty}

\input{text/gluing}

\input{text/comm_alg}


\appendix

\input{text/famodiff}

\input{text/comparing_defs}

\input{text/misc_appendices}

%\input{text/obsolete}

% ----------------------------------------------------------------
%\newcommand{\urlprefix}{}
\bibliographystyle{plain}
%Included for winedt:
%input "bibliography/bibliography.bib"
\bibliography{bibliography/bibliography}
% ----------------------------------------------------------------

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

% A GTART necessity:
% \Addresses
% ----------------------------------------------------------------
\end{document}
% ----------------------------------------------------------------