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