text/ncat.tex
changeset 238 35914358c2a7
parent 236 3feb6e24a518
child 258 fd5d1647f4f3
--- a/text/ncat.tex	Tue Mar 30 16:31:29 2010 -0700
+++ b/text/ncat.tex	Tue Mar 30 16:48:26 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?}}