diff -r adc0780aa5e7 -r 9698f584e732 text/ncat.tex --- 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$,