--- a/text/ncat.tex Tue Oct 27 05:19:10 2009 +0000
+++ b/text/ncat.tex Tue Oct 27 22:27:07 2009 +0000
@@ -8,6 +8,9 @@
\nn{experimental section. maybe this should be rolled into other sections.
maybe it should be split off into a separate paper.}
+\nn{comment somewhere that what we really need is a convenient def of infty case, including tensor products etc.
+but while we're at it might as well do plain case too.}
+
\subsection{Definition of $n$-categories}
Before proceeding, we need more appropriate definitions of $n$-categories,
@@ -903,6 +906,8 @@
\item define $n{+}1$-cat of $n$-cats (a.k.a.\ $n{+}1$-category of generalized bimodules
a.k.a.\ $n{+}1$-category of sphere modules); discuss Morita equivalence
\item morphisms of modules; show that it's adjoint to tensor product
+(need to define dual module for this)
+\item functors
\end{itemize}
\nn{Some salvaged paragraphs that we might want to work back in:}