diff -r 341c2a09f9a8 -r 89bdf3eb03af text/ncat.tex
--- a/text/ncat.tex	Fri Dec 09 18:43:11 2011 -0800
+++ b/text/ncat.tex	Sat Dec 10 23:46:22 2011 -0800
@@ -1275,9 +1275,9 @@
 This last example generalizes Lemma \ref{lem:ncat-from-fields} above which produced an $n$-category from an $n$-dimensional system of fields and local relations. Taking $W$ to be the point recovers that statement.
 
 The next example is only intended to be illustrative, as we don't specify 
-which definition of a ``traditional $n$-category" we intend.
-Further, most of these definitions don't even have an agreed-upon notion of 
-``strong duality", which we assume here.
+which definition of a ``traditional $n$-category with strong duality" we intend.
+%Further, most of these definitions don't even have an agreed-upon notion of 
+%``strong duality", which we assume here.
 \begin{example}[Traditional $n$-categories]
 \rm
 \label{ex:traditional-n-categories}
@@ -1368,7 +1368,7 @@
 %\nn{say something about cofibrant replacements?}
 In fact, there is also a trivial, but mostly uninteresting, way to do this: 
 we can think of each vector space associated to an $n$-ball as a chain complex concentrated in degree $0$, 
-and take $\CD{B}$ to act trivially. 
+and let $\CH{B}$ act trivially. 
 
 Beware that the ``free resolution" of the ordinary $n$-category $\pi_{\leq n}(T)$ 
 is not the $A_\infty$ $n$-category $\pi^\infty_{\leq n}(T)$.