35 The axioms for an $n$-category are spread throughout this section. |
35 The axioms for an $n$-category are spread throughout this section. |
36 Collecting these together, an $n$-category is a gadget satisfying Axioms \ref{axiom:morphisms}, \ref{nca-boundary}, \ref{axiom:composition}, \ref{nca-assoc}, \ref{axiom:product} and \ref{axiom:extended-isotopies}; for an $A_\infty$ $n$-category, we replace Axiom \ref{axiom:extended-isotopies} with Axiom \ref{axiom:families}. |
36 Collecting these together, an $n$-category is a gadget satisfying Axioms \ref{axiom:morphisms}, \ref{nca-boundary}, \ref{axiom:composition}, \ref{nca-assoc}, \ref{axiom:product} and \ref{axiom:extended-isotopies}; for an $A_\infty$ $n$-category, we replace Axiom \ref{axiom:extended-isotopies} with Axiom \ref{axiom:families}. |
37 |
37 |
38 Strictly speaking, before we can state the axioms for $k$-morphisms we need all the axioms |
38 Strictly speaking, before we can state the axioms for $k$-morphisms we need all the axioms |
39 for $k{-}1$-morphisms. |
39 for $k{-}1$-morphisms. |
40 So readers who prefer things to be presented in a strictly logical order should read this subsection $n$ times, first imagining that $k=0$, then that $k=1$, and so on until they reach $k=n$. |
40 Readers who prefer things to be presented in a strictly logical order should read this subsection $n+1$ times, first setting $k=0$, then $k=1$, and so on until they reach $k=n$. |
41 |
41 |
42 \medskip |
42 \medskip |
43 |
43 |
44 There are many existing definitions of $n$-categories, with various intended uses. |
44 There are many existing definitions of $n$-categories, with various intended uses. |
45 In any such definition, there are sets of $k$-morphisms for each $0 \leq k \leq n$. |
45 In any such definition, there are sets of $k$-morphisms for each $0 \leq k \leq n$. |
829 submanifolds $W$ of $X\times \Real^\infty$ such that $\bd W = W \cap \bd X \times \Real^\infty$. |
829 submanifolds $W$ of $X\times \Real^\infty$ such that $\bd W = W \cap \bd X \times \Real^\infty$. |
830 For an $n$-ball $X$ define $\Bord^n(X)$ to be homeomorphism classes (rel boundary) of such $n$-dimensional submanifolds; |
830 For an $n$-ball $X$ define $\Bord^n(X)$ to be homeomorphism classes (rel boundary) of such $n$-dimensional submanifolds; |
831 we identify $W$ and $W'$ if $\bd W = \bd W'$ and there is a homeomorphism |
831 we identify $W$ and $W'$ if $\bd W = \bd W'$ and there is a homeomorphism |
832 $W \to W'$ which restricts to the identity on the boundary. |
832 $W \to W'$ which restricts to the identity on the boundary. |
833 \end{example} |
833 \end{example} |
|
834 \begin{remark} |
|
835 Working with the smooth bordism category would require careful attention to either collars, corners or halos. |
|
836 \end{remark} |
834 |
837 |
835 %\nn{the next example might be an unnecessary distraction. consider deleting it.} |
838 %\nn{the next example might be an unnecessary distraction. consider deleting it.} |
836 |
839 |
837 %\begin{example}[Variation on the above examples] |
840 %\begin{example}[Variation on the above examples] |
838 %We could allow $F$ to have boundary and specify boundary conditions on $X\times \bd F$, |
841 %We could allow $F$ to have boundary and specify boundary conditions on $X\times \bd F$, |