--- a/text/A-infty.tex	Mon Aug 17 05:23:35 2009 +0000
+++ b/text/A-infty.tex	Mon Aug 17 22:51:08 2009 +0000
@@ -3,6 +3,9 @@
 \section{Homological systems of fields}
 \label{sec:homological-fields}
 
+\nn{*** If we keep Section \ref{sec:ncats}, then this section becomes obsolete.
+Retain it for now.}
+
 In this section, we extend the definition of blob homology to allow \emph{homological systems of fields}.
 
 We begin with a definition of a \emph{topological $A_\infty$ category}, and then introduce the notion of a homological system of fields. A topological $A_\infty$ category gives a $1$-dimensional homological system of fields. We'll suggest that any good definition of a topological $A_\infty$ $n$-category with duals should allow construction of an $n$-dimensional homological system of fields, but we won't propose any such definition here. Later, we extend the definition of blob homology to allow homological fields as input. These definitions allow us to state and prove a theorem about the blob homology of a product manifold, and an intermediate theorem about gluing, in preparation for the proof of Property \ref{property:gluing}.