equal
deleted
inserted
replaced
1786 We call $B$ the ball and $N$ the marking. |
1786 We call $B$ the ball and $N$ the marking. |
1787 A homeomorphism between marked $k$-balls is a homeomorphism of balls which |
1787 A homeomorphism between marked $k$-balls is a homeomorphism of balls which |
1788 restricts to a homeomorphism of markings. |
1788 restricts to a homeomorphism of markings. |
1789 |
1789 |
1790 \begin{module-axiom}[Module morphisms] \label{module-axiom-funct} |
1790 \begin{module-axiom}[Module morphisms] \label{module-axiom-funct} |
1791 {For each $0 \le k \le n$, we have a functor $\cM_k$ from |
1791 {For each $1 \le k \le n$, we have a functor $\cM_k$ from |
1792 the category of marked $k$-balls and |
1792 the category of marked $k$-balls and |
1793 homeomorphisms to the category of sets and bijections.} |
1793 homeomorphisms to the category of sets and bijections.} |
1794 \end{module-axiom} |
1794 \end{module-axiom} |
1795 |
1795 |
1796 (As with $n$-categories, we will usually omit the subscript $k$.) |
1796 (As with $n$-categories, we will usually omit the subscript $k$.) |