# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1290457193 28800
# Node ID 2138fbf11ef8cb3e9128327c469544492b9a09c3
# Parent  cc0c2dfe61f379a39170a31e25240330fd5df96b
minor, on enrichment

diff -r cc0c2dfe61f3 -r 2138fbf11ef8 pnas/pnas.tex
--- a/pnas/pnas.tex	Mon Nov 22 11:56:18 2010 -0700
+++ b/pnas/pnas.tex	Mon Nov 22 12:19:53 2010 -0800
@@ -187,7 +187,7 @@
 TQFTs, which are slightly weaker structures in that they assign 
 invariants to mapping cylinders of homeomorphisms between $n$-manifolds, but not to general $(n{+}1)$-manifolds.
 
-When $k=n-1$ we have a linear 1-category $A(S)$ for each $(n{-}1)$-manifold $S$,
+When $k=n{-}1$ we have a linear 1-category $A(S)$ for each $(n{-}1)$-manifold $S$,
 and a representation of $A(\bd Y)$ for each $n$-manifold $Y$.
 The TQFT gluing rule in dimension $n$ states that
 $A(Y_1\cup_S Y_2) \cong A(Y_1) \ot_{A(S)} A(Y_2)$,
@@ -590,10 +590,10 @@
 this is defined to be the colimit along $\cell(W)$ of the functor $\psi_{\cC;W}$. 
 Note that Axioms \ref{axiom:composition} and \ref{axiom:associativity} 
 imply that $\cl{\cC}(X)  \iso \cC(X)$ when $X$ is a $k$-ball with $k<n$. 
-Recall that given boundary conditions $c \in \cl{\cC}(\bdy X)$, for $X$ an $n$-ball, 
-the set $\cC(X;c)$ is a vector space (we assume $\cC$ is enriched in vector spaces). 
-Using this, we note that for $c \in \cl{\cC}(\bdy W)$, 
-for $W$ an arbitrary $n$-manifold, the set $\cl{\cC}(W;c) = \bdy^{-1} (c)$ inherits the structure of a vector space. 
+Suppose that $\cC$ is enriched in vector spaces: this means that given boundary conditions $c \in \cl{\cC}(\bdy X)$, for $X$ an $n$-ball, 
+the set $\cC(X;c)$ is a vector space. 
+In this case, for $W$ an arbitrary $n$-manifold and $c \in \cl{\cC}(\bdy W)$,
+the set $\cl{\cC}(W;c) = \bdy^{-1} (c)$ inherits the structure of a vector space. 
 These are the usual TQFT skein module invariants on $n$-manifolds.
 
 We can now give a straightforward but rather abstract definition of the blob complex of an $n$-manifold $W$