--- a/text/ncat.tex	Mon May 10 10:09:06 2010 -0700
+++ b/text/ncat.tex	Mon May 10 14:14:19 2010 -0700
@@ -1181,8 +1181,17 @@
 This extends to a functor from all left-marked intervals (not just those contained in $J$).
 It's easy to verify the remaining module axioms.
 
-Now re reinterpret $(\cM_\cC\ot {_\cC\cN})^*$
+Now we reinterpret $(\cM_\cC\ot {_\cC\cN})^*$
 as some sort of morphism $\cM_\cC \to (_\cC\cN)^*$.
+Let $f\in (\cM_\cC\ot {_\cC\cN})^*$.
+Let $\olD$ be a chain of subdivisions with $D_0 = [J = I_1\cup\cdots\cup I_m]$, and let
+$m\ot \cbar \in \cM(I_1)\ot\cC(I_2)\ot\cdots\ot\cC(I_{m-1})$.
+
+
+
+
+
+
 
 \nn{...}