--- 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:}