diff -r 4e3a152f4936 -r 8efbd2730ef9 text/ncat.tex
--- a/text/ncat.tex	Fri Jan 07 14:19:50 2011 -0800
+++ b/text/ncat.tex	Fri Jan 07 14:40:58 2011 -0800
@@ -23,6 +23,8 @@
 For examples of a more purely algebraic origin, one would typically need the combinatorial
 results that we have avoided here.
 
+See \S\ref{n-cat-names} for a discussion of $n$-category terminology.
+
 %\nn{Say something explicit about Lurie's work here? 
 %It seems like this was something that Dan Freed wanted explaining when we talked to him in Aspen}
 
@@ -378,7 +380,7 @@
 \caption{Examples of pinched products}\label{pinched_prods}
 \end{figure}
 (The need for a strengthened version will become apparent in Appendix \ref{sec:comparing-defs}
-where we construct a traditional category from a topological category.)
+where we construct a traditional category from a disk-like category.)
 Define a {\it pinched product} to be a map
 \[
 	\pi: E\to X
@@ -668,7 +670,7 @@
 \cC_{\cF,U}(B^k) & = \begin{cases}\cF(B) & \text{when $k<n$,} \\ \cF(B) / U(B) & \text{when $k=n$.}\end{cases}
 \end{align*}
 This $n$-category can be thought of as the local part of the fields.
-Conversely, given a topological $n$-category we can construct a system of fields via 
+Conversely, given a disk-like $n$-category we can construct a system of fields via 
 a colimit construction; see \S \ref{ss:ncat_fields} below.
 
 In the $n$-category axioms above we have intermingled data and properties for expository reasons.
@@ -855,16 +857,16 @@
 \end{example}
 
 This example will be used in Theorem \ref{thm:product} below, which allows us to compute the blob complex of a product.
-Notice that with $F$ a point, the above example is a construction turning a topological 
+Notice that with $F$ a point, the above example is a construction turning an ordinary 
 $n$-category $\cC$ into an $A_\infty$ $n$-category.
 We think of this as providing a ``free resolution" 
-of the topological $n$-category. 
+of the ordinary $n$-category. 
 %\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. 
 
-Beware that the ``free resolution" of the topological $n$-category $\pi_{\leq n}(T)$ 
+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)$.
 It's easy to see that with $n=0$, the corresponding system of fields is just 
 linear combinations of connected components of $T$, and the local relations are trivial.
@@ -927,7 +929,7 @@
 also comes from the $\cE\cB_n$ action on $A$.
 %\nn{should we spell this out?}
 
-Conversely, one can show that a topological $A_\infty$ $n$-category $\cC$, where the $k$-morphisms
+Conversely, one can show that a disk-like $A_\infty$ $n$-category $\cC$, where the $k$-morphisms
 $\cC(X)$ are trivial (single point) for $k<n$, gives rise to 
 an $\cE\cB_n$-algebra.
 %\nn{The paper is already long; is it worth giving details here?}
@@ -1195,7 +1197,7 @@
 This will be explained in more detail as we present the axioms.
 
 Throughout, we fix an $n$-category $\cC$.
-For all but one axiom, it doesn't matter whether $\cC$ is a topological $n$-category or an $A_\infty$ $n$-category.
+For all but one axiom, it doesn't matter whether $\cC$ is an ordinary $n$-category or an $A_\infty$ $n$-category.
 We state the final axiom, regarding actions of homeomorphisms, differently in the two cases.
 
 Define a {\it marked $k$-ball} to be a pair $(B, N)$ homeomorphic to the pair
@@ -1509,7 +1511,7 @@
 
 \medskip
 
-We now give some examples of modules over topological and $A_\infty$ $n$-categories.
+We now give some examples of modules over ordinary and $A_\infty$ $n$-categories.
 
 \begin{example}[Examples from TQFTs]
 \rm
@@ -1552,7 +1554,7 @@
 \subsection{Modules as boundary labels (colimits for decorated manifolds)}
 \label{moddecss}
 
-Fix a topological $n$-category or $A_\infty$ $n$-category  $\cC$.
+Fix an ordinary $n$-category or $A_\infty$ $n$-category  $\cC$.
 Let $W$ be a $k$-manifold ($k\le n$),
 let $\{Y_i\}$ be a collection of disjoint codimension 0 submanifolds of $\bd W$,
 and let $\cN = (\cN_i)$ be an assignment of a $\cC$ module $\cN_i$ to $Y_i$.
@@ -1720,7 +1722,7 @@
 
 %The results of this subsection are not needed for the rest of the paper,
 %so we will skimp on details in a couple of places. We have included this mostly 
-%for the sake of comparing our notion of a topological $n$-category to other definitions.
+%for the sake of comparing our notion of a disk-like $n$-category to other definitions.
 
 For simplicity, we will assume that $n$-categories are enriched over $\c$-vector spaces.