--- a/text/ncat.tex Mon Jul 12 17:29:25 2010 -0600
+++ b/text/ncat.tex Wed Jul 14 11:06:11 2010 -0600
@@ -619,7 +619,7 @@
\]
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{CHprop} commutes.
+a diagram like the one in Theorem \ref{thm:CH} commutes.
\nn{repeat diagram here?}
\nn{restate this with $\Homeo(X\to X')$? what about boundary fixing property?}
\end{axiom}
@@ -1371,9 +1371,9 @@
\]
Here $C_*$ means singular chains and $\Homeo_\bd(M)$ is the space of homeomorphisms of $M$
which fix $\bd M$.
-These action maps are required to be associative up to homotopy,
+These action maps are required to be associative up to homotopy, as in Theorem \ref{thm:CH-associativity},
and also compatible with composition (gluing) in the sense that
-a diagram like the one in Proposition \ref{CHprop} commutes.
+a diagram like the one in Theorem \ref{thm:CH} commutes.
\end{module-axiom}
As with the $n$-category version of the above axiom, we should also have families of collar maps act.