diff -r 62e8cc479953 -r 57291331fd82 text/ncat.tex --- 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:}