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