--- a/text/tqftreview.tex Wed Jun 02 12:52:08 2010 -0700
+++ b/text/tqftreview.tex Wed Jun 02 17:45:13 2010 -0700
@@ -32,7 +32,7 @@
\begin{example}
\label{ex:maps-to-a-space(fields)}
Fix a target space $T$, and let $\cC(X)$ be the set of continuous maps
-from X to $B$.
+from $X$ to $T$.
\end{example}
\begin{example}
@@ -184,11 +184,11 @@
\subsection{Systems of fields from $n$-categories}
\label{sec:example:traditional-n-categories(fields)}
-We now describe in more detail systems of fields coming from sub-cell-complexes labeled
+We now describe in more detail Example \ref{ex:traditional-n-categories(fields)}, systems of fields coming from sub-cell-complexes labeled
by $n$-category morphisms.
Given an $n$-category $C$ with the right sort of duality
-(e.g. pivotal 2-category, 1-category with duals, star 1-category, disklike $n$-category),
+(e.g. a pivotal 2-category, 1-category with duals, star 1-category, disklike $n$-category),
we can construct a system of fields as follows.
Roughly speaking, $\cC(X)$ will the set of all embedded cell complexes in $X$
with codimension $i$ cells labeled by $i$-morphisms of $C$.
@@ -196,9 +196,7 @@
If $X$ has boundary, we require that the cell decompositions are in general
position with respect to the boundary --- the boundary intersects each cell
-transversely, so cells meeting the boundary are mere half-cells.
-
-Put another way, the cell decompositions we consider are dual to standard cell
+transversely, so cells meeting the boundary are mere half-cells. Put another way, the cell decompositions we consider are dual to standard cell
decompositions of $X$.
We will always assume that our $n$-categories have linear $n$-morphisms.
@@ -207,7 +205,7 @@
an object (0-morphism) of the 1-category $C$.
A field on a 1-manifold $S$ consists of
\begin{itemize}
- \item A cell decomposition of $S$ (equivalently, a finite collection
+ \item a cell decomposition of $S$ (equivalently, a finite collection
of points in the interior of $S$);
\item a labeling of each 1-cell (and each half 1-cell adjacent to $\bd S$)
by an object (0-morphism) of $C$;
@@ -233,7 +231,7 @@
A field of a 1-manifold is defined as in the $n=1$ case, using the 0- and 1-morphisms of $C$.
A field on a 2-manifold $Y$ consists of
\begin{itemize}
- \item A cell decomposition of $Y$ (equivalently, a graph embedded in $Y$ such
+ \item a cell decomposition of $Y$ (equivalently, a graph embedded in $Y$ such
that each component of the complement is homeomorphic to a disk);
\item a labeling of each 2-cell (and each partial 2-cell adjacent to $\bd Y$)
by a 0-morphism of $C$;