--- 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.