diff -r 4a988e00468a -r a60c035e53bd text/ncat.tex --- a/text/ncat.tex Wed Aug 25 22:58:41 2010 -0700 +++ b/text/ncat.tex Thu Aug 26 13:20:13 2010 -0700 @@ -127,8 +127,9 @@ Most of the examples of $n$-categories we are interested in are enriched in the following sense. The various sets of $n$-morphisms $\cC(X; c)$, for all $n$-balls $X$ and all $c\in \cl{\cC}(\bd X)$, have the structure of an object in some auxiliary symmetric monoidal category +with sufficient limits and colimits (e.g.\ vector spaces, or modules over some ring, or chain complexes), -\nn{actually, need both disj-union/sub and product/tensor-product; what's the name for this sort of cat?} +%\nn{actually, need both disj-union/sum and product/tensor-product; what's the name for this sort of cat?} and all the structure maps of the $n$-category should be compatible with the auxiliary category structure. Note that this auxiliary structure is only in dimension $n$; if $\dim(Y) < n$ then