--- a/text/ncat.tex Sat Dec 10 23:20:45 2011 -0800
+++ b/text/ncat.tex Sat Dec 10 23:46:30 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)$.