# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1319385316 21600
# Node ID 7d398420577d30bd74c8afc3a628735001ec02b4
# Parent  e8e234aeb266d5ec33328be4efaac0f05a98553a
a little more revision of module axioms

diff -r e8e234aeb266 -r 7d398420577d text/ncat.tex
--- a/text/ncat.tex	Sat Oct 22 22:31:00 2011 -0600
+++ b/text/ncat.tex	Sun Oct 23 09:55:16 2011 -0600
@@ -2093,10 +2093,12 @@
 modules for ordinary $n$-categories or $A_\infty$ $n$-categories.
 In the ordinary case we require
 
-\begin{module-axiom}[\textup{\textbf{[ordinary version]}} 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 isotopic (rel boundary) to the identity.
-Then $f$ acts trivially on $\cM(M)$.}
+\begin{module-axiom}[Extended isotopy invariance in dimension $n$]
+Let $M$ be a marked $n$-ball, $b \in \cM(M)$, and $f: M\to M$ be a homeomorphism which 
+acts trivially on the restriction $\bd b$ of $b$ to $\bd M$.
+Suppose furthermore that $f$ is isotopic to the identity through homeomorphisms which
+act trivially on $\bd b$.
+Then $f(b) = b$.
 In addition, collar maps act trivially on $\cM(M)$.
 \end{module-axiom}