--- a/text/tqftreview.tex Thu Aug 11 22:14:11 2011 -0600
+++ b/text/tqftreview.tex Fri Aug 12 10:00:59 2011 -0600
@@ -89,9 +89,11 @@
then this extra structure is considered part of the definition of $\cC_n$.
Any maps mentioned below between fields on $n$-manifolds must be morphisms in $\cS$.
\item $\cC_k$ is compatible with the symmetric monoidal
-structures on $\cM_k$, $\Set$ and $\cS$: $\cC_k(X \du W) \cong \cC_k(X)\times \cC_k(W)$,
+structures on $\cM_k$, $\Set$ and $\cS$.
+For $k<n$ we have $\cC_k(X \du W) \cong \cC_k(X)\times \cC_k(W)$,
compatibly with homeomorphisms and restriction to boundary.
-We will call the projections $\cC(X_1 \du X_2) \to \cC(X_i)$
+For $k=n$ we require $\cC_n(X \du W; c\du d) \cong \cC_k(X, c)\ot \cC_k(W, d)$.
+We will call the projections $\cC_k(X_1 \du X_2) \to \cC_k(X_i)$
restriction maps.
\item Gluing without corners.
Let $\bd X = Y \du Y \du W$, where $Y$ and $W$ are closed $k{-}1$-manifolds.