diff -r c570a7a75b07 -r ab0b4827c89c text/tqftreview.tex
--- 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.