--- a/text/ncat.tex	Fri Jul 24 22:33:31 2009 +0000
+++ b/text/ncat.tex	Tue Jul 28 00:33:08 2009 +0000
@@ -551,6 +551,20 @@
 \nn{give figure for this, or say more?}
 Then $\cE$ has the structure of an $n{-}1$-category.
 
+All marked $k$-balls are homeomorphic, unless $k = 1$ and our manifolds
+are oriented or Spin (but not unoriented or $\text{Pin}_\pm$).
+In this case ($k=1$ and oriented or Spin), there are two types
+of marked 1-balls, call them left-marked and right-marked,
+and hence there are two types of modules, call them right modules and left modules.
+In all other cases ($k>1$ or unoriented or $\text{Pin}_\pm$),
+there is no left/right module distinction.
+
+\medskip
+
+Next we consider tensor products (or, more generally, self tensor products
+or coends).
+
+
 
 \medskip
 \hrule
@@ -564,15 +578,16 @@
 a separate paper):
 \begin{itemize}
 \item tensor products
-\item blob complex is an example of an $A_\infty$ $n$-category
-\item fundamental $n$-groupoid is an example of an $A_\infty$ $n$-category
 \item traditional $n$-cat defs (e.g. *-1-cat, pivotal 2-cat) imply our def of plain $n$-cat
 \item conversely, our def implies other defs
+\item do same for modules; maybe an appendix on relating topological
+vs traditional defs, $n = 1,2$, $A_\infty$ or not, cats, modules, tensor products
 \item traditional $A_\infty$ 1-cat def implies our def
 \item ... and vice-versa (already done in appendix)
 \item say something about unoriented vs oriented vs spin vs pin for $n=1$ (and $n=2$?)
 \item spell out what difference (if any) Top vs PL vs Smooth makes
 \item explain relation between old-fashioned blob homology and new-fangled blob homology
+\item define $n{+}1$-cat of $n$-cats; discuss Morita equivalence
 \end{itemize}