text/ncat.tex
changeset 185 ab13e2a923f0
parent 182 8bff31138721
child 186 748cd16881bf
equal deleted inserted replaced
184:8d28511a39ac 185:ab13e2a923f0
   781 
   781 
   782 There are two alternatives for the next axiom, according whether we are defining
   782 There are two alternatives for the next axiom, according whether we are defining
   783 modules for plain $n$-categories or $A_\infty$ $n$-categories.
   783 modules for plain $n$-categories or $A_\infty$ $n$-categories.
   784 In the plain case we require
   784 In the plain case we require
   785 
   785 
   786 \xxpar{Pseudo and extended isotopy invariance in dimension $n$:}
   786 \xxpar{Extended isotopy invariance in dimension $n$:}
   787 {Let $M$ be a marked $n$-ball and $f: M\to M$ be a homeomorphism which restricts
   787 {Let $M$ be a marked $n$-ball and $f: M\to M$ be a homeomorphism which restricts
   788 to the identity on $\bd M$ and is extended isotopic (rel boundary) to the identity.
   788 to the identity on $\bd M$ and is extended isotopic (rel boundary) to the identity.
   789 Then $f$ acts trivially on $\cM(M)$.}
   789 Then $f$ acts trivially on $\cM(M)$.}
   790 
   790 
   791 \nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.}
   791 \nn{need to rephrase this, since extended isotopies don't correspond to homeomorphisms.}