--- a/text/a_inf_blob.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/a_inf_blob.tex Sun Jul 11 14:38:48 2010 -0600
@@ -3,7 +3,7 @@
\section{The blob complex for $A_\infty$ $n$-categories}
\label{sec:ainfblob}
Given an $A_\infty$ $n$-category $\cC$ and an $n$-manifold $M$, we make the anticlimactically tautological definition of the blob
-complex $\bc_*(M;\cC)$ to be the homotopy colimit $\cl{\cC}(M)$ of Section \ref{ss:ncat_fields}.
+complex $\bc_*(M;\cC)$ to be the homotopy colimit $\cl{\cC}(M)$ of \S\ref{ss:ncat_fields}.
We will show below
in Corollary \ref{cor:new-old}
@@ -53,7 +53,7 @@
\begin{proof}
-We will use the concrete description of the colimit from Subsection \ref{ss:ncat_fields}.
+We will use the concrete description of the colimit from \S\ref{ss:ncat_fields}.
First we define a map
\[
@@ -87,7 +87,7 @@
such that $a$ splits along $K_0\times F$ and $b$ is a generator appearing
in an iterated boundary of $a$ (this includes $a$ itself).
(Recall that $\ol{K} = (K_0,\ldots,K_l)$ denotes a chain of decompositions;
-see Subsection \ref{ss:ncat_fields}.)
+see \S\ref{ss:ncat_fields}.)
By $(b, \ol{K})$ we really mean $(b^\sharp, \ol{K})$, where $b^\sharp$ is
$b$ split according to $K_0\times F$.
To simplify notation we will just write plain $b$ instead of $b^\sharp$.
--- a/text/appendixes/comparing_defs.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/appendixes/comparing_defs.tex Sun Jul 11 14:38:48 2010 -0600
@@ -3,7 +3,7 @@
\section{Comparing $n$-category definitions}
\label{sec:comparing-defs}
-In this appendix we relate the ``topological" category definitions of Section \ref{sec:ncats}
+In this appendix we relate the ``topological" category definitions of \S\ref{sec:ncats}
to more traditional definitions, for $n=1$ and 2.
\nn{cases to cover: (a) plain $n$-cats for $n=1,2$; (b) $n$-cat modules for $n=1$, also 2?;
--- a/text/basic_properties.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/basic_properties.tex Sun Jul 11 14:38:48 2010 -0600
@@ -115,4 +115,4 @@
}
This map is very far from being an isomorphism, even on homology.
-We fix this deficit in Section \ref{sec:gluing} below.
+We fix this deficit in \S\ref{sec:gluing} below.
--- a/text/deligne.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/deligne.tex Sun Jul 11 14:38:48 2010 -0600
@@ -44,7 +44,7 @@
We emphasize that in $\hom(\bc^C_*(I), \bc^C_*(I))$ we are thinking of $\bc^C_*(I)$ as a module
for the $A_\infty$ 1-category associated to $\bd I$, and $\hom$ means the
morphisms of such modules as defined in
-Subsection \ref{ss:module-morphisms}.
+\S\ref{ss:module-morphisms}.
We can think of a fat graph as encoding a sequence of surgeries, starting at the bottommost interval
of Figure \ref{delfig1} and ending at the topmost interval.
@@ -215,7 +215,7 @@
\]
which satisfy the operad compatibility conditions.
On $C_0(FG^n_{\ol{M}\ol{N}})$ this agrees with the chain map $p$ defined above.
-When $k=0$, this coincides with the $C_*(\Homeo(M_0\to N_0))$ action of Section \ref{sec:evaluation}.
+When $k=0$, this coincides with the $C_*(\Homeo(M_0\to N_0))$ action of \S\ref{sec:evaluation}.
\end{thm}
If, in analogy to Hochschild cochains, we define elements of $\hom(M, N)$
--- a/text/evmap.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/evmap.tex Sun Jul 11 14:38:48 2010 -0600
@@ -69,7 +69,7 @@
Furthermore, one can choose the homotopy so that its support is equal to the support of $x$.
\end{lemma}
-The proof will be given in Appendix \ref{sec:localising}.
+The proof will be given in \S\ref{sec:localising}.
\medskip
--- a/text/intro.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/intro.tex Sun Jul 11 14:38:48 2010 -0600
@@ -139,7 +139,7 @@
in order to better integrate it into the current intro.}
As a starting point, consider TQFTs constructed via fields and local relations.
-(See Section \ref{sec:tqftsviafields} or \cite{kw:tqft}.)
+(See \S\ref{sec:tqftsviafields} or \cite{kw:tqft}.)
This gives a satisfactory treatment for semisimple TQFTs
(i.e.\ TQFTs for which the cylinder 1-category associated to an
$n{-}1$-manifold $Y$ is semisimple for all $Y$).
--- a/text/ncat.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/ncat.tex Sun Jul 11 14:38:48 2010 -0600
@@ -97,7 +97,7 @@
$1\le k \le n$.
At first it might seem that we need another axiom for this, but in fact once we have
all the axioms in this subsection for $0$ through $k-1$ we can use a colimit
-construction, as described in Subsection \ref{ss:ncat-coend} below, to extend $\cC_{k-1}$
+construction, as described in \S\ref{ss:ncat-coend} below, to extend $\cC_{k-1}$
to spheres (and any other manifolds):
\begin{lem}
@@ -746,7 +746,7 @@
to be the set of all $C$-labeled embedded cell complexes of $X\times F$.
Define $\cC(X; c)$, for $X$ an $n$-ball,
to be the dual Hilbert space $A(X\times F; c)$.
-(See Subsection \ref{sec:constructing-a-tqft}.)
+(See \S\ref{sec:constructing-a-tqft}.)
\end{example}
\noop{
@@ -1508,7 +1508,7 @@
\label{ss:module-morphisms}
In order to state and prove our version of the higher dimensional Deligne conjecture
-(Section \ref{sec:deligne}),
+(\S\ref{sec:deligne}),
we need to define morphisms of $A_\infty$ $1$-category modules and establish
some of their elementary properties.
@@ -1877,7 +1877,7 @@
of these points labeled by $n$-categories $\cA_i$ ($0\le i\le l$) and the marked points labeled
by $\cA_i$-$\cA_{i+1}$ bimodules $\cM_i$.
(See Figure \ref{feb21c}.)
-To this data we can apply the coend construction as in Subsection \ref{moddecss} above
+To this data we can apply the coend construction as in \S\ref{moddecss} above
to obtain an $\cA_0$-$\cA_l$ $0$-sphere module and, forgetfully, an $n{-}1$-category.
This amounts to a definition of taking tensor products of $0$-sphere module over $n$-categories.
--- a/text/tqftreview.tex Sun Jul 11 14:31:56 2010 -0600
+++ b/text/tqftreview.tex Sun Jul 11 14:38:48 2010 -0600
@@ -16,17 +16,17 @@
A system of fields is very closely related to an $n$-category.
In one direction, Example \ref{ex:traditional-n-categories(fields)}
shows how to construct a system of fields from a (traditional) $n$-category.
-We do this in detail for $n=1,2$ (Subsection \ref{sec:example:traditional-n-categories(fields)})
+We do this in detail for $n=1,2$ (\S\ref{sec:example:traditional-n-categories(fields)})
and more informally for general $n$.
In the other direction,
-our preferred definition of an $n$-category in Section \ref{sec:ncats} is essentially
+our preferred definition of an $n$-category in \S\ref{sec:ncats} is essentially
just a system of fields restricted to balls of dimensions 0 through $n$;
one could call this the ``local" part of a system of fields.
Since this section is intended primarily to motivate
-the blob complex construction of Section \ref{sec:blob-definition},
+the blob complex construction of \S\ref{sec:blob-definition},
we suppress some technical details.
-In Section \ref{sec:ncats} the analogous details are treated more carefully.
+In \S\ref{sec:ncats} the analogous details are treated more carefully.
\medskip
@@ -71,7 +71,7 @@
\end{example}
Now for the rest of the definition of system of fields.
-(Readers desiring a more precise definition should refer to Subsection \ref{ss:n-cat-def}
+(Readers desiring a more precise definition should refer to \S\ref{ss:n-cat-def}
and replace $k$-balls with $k$-manifolds.)
\begin{enumerate}
\item There are boundary restriction maps $\cC_k(X) \to \cC_{k-1}(\bd X)$,