--- a/text/ncat.tex Tue Mar 15 07:25:13 2011 -0700
+++ b/text/ncat.tex Tue Mar 15 08:01:12 2011 -0700
@@ -537,8 +537,9 @@
This axiom needs to be strengthened to force product morphisms to act as the identity.
Let $X$ be an $n$-ball and $Y\sub\bd X$ be an $n{-}1$-ball.
Let $J$ be a 1-ball (interval).
-We have a collaring homeomorphism $s_{Y,J}: X\cup_Y (Y\times J) \to X$.
-(Here we use $Y\times J$ with boundary entirely pinched.)
+Let $s_{Y,J}: X\cup_Y (Y\times J) \to X$ be a collaring homeomorphism
+(see the end of \S\ref{ss:syst-o-fields}).
+Here we use $Y\times J$ with boundary entirely pinched.
We define a map
\begin{eqnarray*}
\psi_{Y,J}: \cC(X) &\to& \cC(X) \\