text/tqftreview.tex
changeset 327 d163ad9543a5
parent 319 121c580d5ef7
child 329 eb03c4a92f98
--- 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$;