# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1273526059 25200
# Node ID 971234b03c4a8bb47c550a66c151c57ac1f2488f
# Parent  db18f7c32abef441a7dba8c371c8aca1f80f1eea
blah blah

diff -r db18f7c32abe -r 971234b03c4a text/ncat.tex
--- 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{...}