equal
deleted
inserted
replaced
918 |
918 |
919 |
919 |
920 |
920 |
921 \subsection{The $n{+}1$-category of sphere modules} |
921 \subsection{The $n{+}1$-category of sphere modules} |
922 |
922 |
923 |
923 In this subsection we define an $n{+}1$-category of ``sphere modules" whose objects |
924 |
924 correspond to $n$-categories. |
925 Outline: |
925 This is a version of the familiar algebras-bimodules-intertwinors 2-category. |
926 \begin{itemize} |
926 (Terminology: It is clearly appropriate to call an $S^0$ modules a bimodule, |
927 \item |
927 since a 0-sphere has an obvious bi-ness. |
928 \end{itemize} |
928 This is much less true for higher dimensional spheres, |
|
929 so we prefer the term ``sphere module" for the general case.) |
|
930 |
929 |
931 |
930 |
932 |
931 \nn{need to assume a little extra structure to define the top ($n+1$) part (?)} |
933 \nn{need to assume a little extra structure to define the top ($n+1$) part (?)} |
932 |
934 |
933 \medskip |
935 \medskip |