text/ncat.tex
changeset 155 6224f29393c1
parent 146 08bbcf3ec4d2
child 174 8bb0f0c51a6e
--- a/text/ncat.tex	Fri Oct 30 21:07:40 2009 +0000
+++ b/text/ncat.tex	Sat Oct 31 00:20:10 2009 +0000
@@ -920,12 +920,14 @@
 
 \subsection{The $n{+}1$-category of sphere modules}
 
-
+In this subsection we define an $n{+}1$-category of ``sphere modules" whose objects
+correspond to $n$-categories.
+This is a version of the familiar algebras-bimodules-intertwinors 2-category.
+(Terminology: It is clearly appropriate to call an $S^0$ modules a bimodule,
+since a 0-sphere has an obvious bi-ness.
+This is much less true for higher dimensional spheres, 
+so we prefer the term ``sphere module" for the general case.)
 
-Outline:
-\begin{itemize}
-\item 
-\end{itemize}
 
 
 \nn{need to assume a little extra structure to define the top ($n+1$) part (?)}