text/ncat.tex
changeset 155 6224f29393c1
parent 146 08bbcf3ec4d2
child 174 8bb0f0c51a6e
equal deleted inserted replaced
154:8d7c569af8a7 155:6224f29393c1
   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