--- a/text/ncat.tex Thu Jun 03 23:08:47 2010 -0700
+++ b/text/ncat.tex Fri Jun 04 08:15:08 2010 -0700
@@ -7,6 +7,7 @@
\label{sec:ncats}
\subsection{Definition of $n$-categories}
+\label{ss:n-cat-def}
Before proceeding, we need more appropriate definitions of $n$-categories,
$A_\infty$ $n$-categories, modules for these, and tensor products of these modules.
@@ -536,7 +537,7 @@
Given a `traditional $n$-category with strong duality' $C$
define $\cC(X)$, for $X$ a $k$-ball with $k < n$,
to be the set of all $C$-labeled sub cell complexes of $X$ (c.f. \S \ref{sec:fields}).
-For $X$ an $n$-ball and $c\in \cl{\cC}(\bd X)$, define $\cC(X)$ to finite linear
+For $X$ an $n$-ball and $c\in \cl{\cC}(\bd X)$, define $\cC(X; c)$ to be finite linear
combinations of $C$-labeled sub cell complexes of $X$
modulo the kernel of the evaluation map.
Define a product morphism $a\times D$, for $D$ an $m$-ball, to be the product of the cell complex of $a$ with $D$,