--- a/text/ncat.tex Tue Mar 30 10:03:48 2010 -0700
+++ b/text/ncat.tex Tue Mar 30 15:12:27 2010 -0700
@@ -443,7 +443,7 @@
which fix $\bd X$.
These action maps are required to be associative up to homotopy
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that
-a diagram like the one in Proposition \ref{CDprop} commutes.
+a diagram like the one in Proposition \ref{CHprop} commutes.
\nn{repeat diagram here?}
\nn{restate this with $\Homeo(X\to X')$? what about boundary fixing property?}
\end{axiom-numbered}
@@ -967,7 +967,7 @@
which fix $\bd M$.
These action maps are required to be associative up to homotopy
\nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that
-a diagram like the one in Proposition \ref{CDprop} commutes.
+a diagram like the one in Proposition \ref{CHprop} commutes.
\nn{repeat diagram here?}
\nn{restate this with $\Homeo(M\to M')$? what about boundary fixing property?}}