...
--- a/text/ncat.tex Wed Jan 27 18:33:59 2010 +0000
+++ b/text/ncat.tex Wed Jan 27 19:34:48 2010 +0000
@@ -827,7 +827,7 @@
First, we can compose two module morphisms to get another module morphism.
-\xxpar{Module composition:}
+\mmpar{Module axiom 6}{Module composition}
{Let $M = M_1 \cup_Y M_2$, where $M$, $M_1$ and $M_2$ are marked $k$-balls ($0\le k\le n$)
and $Y = M_1\cap M_2$ is a marked $k{-}1$-ball.
Let $E = \bd Y$, which is a marked $k{-}2$-hemisphere.
@@ -849,7 +849,7 @@
module morphism.
We'll call this the action map to distinguish it from the other kind of composition.
-\xxpar{$n$-category action:}
+\mmpar{Module axiom 7}{$n$-category action}
{Let $M = X \cup_Y M'$, where $M$ and $M'$ are marked $k$-balls ($0\le k\le n$),
$X$ is a plain $k$-ball,
and $Y = X\cap M'$ is a $k{-}1$-ball.
@@ -865,7 +865,7 @@
If $k < n$ we require that $\gl_Y$ is injective.
(For $k=n$, see below.)}
-\xxpar{Module strict associativity:}
+\mmpar{Module axiom 8}{Strict associativity}
{The composition and action maps above are strictly associative.}
Note that the above associativity axiom applies to mixtures of module composition,
@@ -903,9 +903,9 @@
(The above operad-like structure is analogous to the swiss cheese operad
\cite{MR1718089}.)
-\nn{need to double-check that this is true.}
+%\nn{need to double-check that this is true.}
-\xxpar{Module product (identity) morphisms:}
+\mmpar{Module axiom 9}{Product/identity morphisms}
{Let $M$ be a marked $k$-ball and $D$ be a plain $m$-ball, with $k+m \le n$.
Then we have a map $\cM(M)\to \cM(M\times D)$, usually denoted $a\mapsto a\times D$ for $a\in \cM(M)$.
If $f:M\to M'$ and $\tilde{f}:M\times D \to M'\times D'$ are maps such that the diagram
@@ -917,13 +917,13 @@
\nn{Need to add compatibility with various things, as in the n-cat version of this axiom above.}
-\nn{** marker --- resume revising here **}
+\nn{postpone finalizing the above axiom until the n-cat version is finalized}
There are two alternatives for the next axiom, according whether we are defining
modules for plain $n$-categories or $A_\infty$ $n$-categories.
In the plain case we require
-\xxpar{Extended isotopy invariance in dimension $n$:}
+\mmpar{Module axiom 10a}{Extended isotopy invariance in dimension $n$}
{Let $M$ be a marked $n$-ball and $f: M\to M$ be a homeomorphism which restricts
to the identity on $\bd M$ and is extended isotopic (rel boundary) to the identity.
Then $f$ acts trivially on $\cM(M)$.}
@@ -936,7 +936,7 @@
For $A_\infty$ modules we require
-\xxpar{Families of homeomorphisms act.}
+\mmpar{Module axiom 10b}{Families of homeomorphisms act}
{For each marked $n$-ball $M$ and each $c\in \cM(\bd M)$ we have a map of chain complexes
\[
C_*(\Homeo_\bd(M))\ot \cM(M; c) \to \cM(M; c) .
@@ -956,7 +956,9 @@
More specifically, let $J$ be a marked 1-ball, and define $\cE(X)\deq \cM(X\times J)$,
where $X$ is a $k$-ball or $k{-}1$-sphere and in the product $X\times J$ we pinch
above the non-marked boundary component of $J$.
-\nn{give figure for this, or say more?}
+(More specifically, we collapse $X\times P$ to a single point, where
+$P$ is the non-marked boundary component of $J$.)
+\nn{give figure for this?}
Then $\cE$ has the structure of an $n{-}1$-category.
All marked $k$-balls are homeomorphic, unless $k = 1$ and our manifolds