--- a/text/ncat.tex Wed Mar 23 15:33:48 2011 -0700
+++ b/text/ncat.tex Wed Mar 23 15:52:36 2011 -0700
@@ -37,7 +37,7 @@
Strictly speaking, before we can state the axioms for $k$-morphisms we need all the axioms
for $k{-}1$-morphisms.
-So readers who prefer things to be presented in a strictly logical order should read this subsection $n$ times, first imagining that $k=0$, then that $k=1$, and so on until they reach $k=n$.
+Readers who prefer things to be presented in a strictly logical order should read this subsection $n+1$ times, first setting $k=0$, then $k=1$, and so on until they reach $k=n$.
\medskip
@@ -831,6 +831,9 @@
we identify $W$ and $W'$ if $\bd W = \bd W'$ and there is a homeomorphism
$W \to W'$ which restricts to the identity on the boundary.
\end{example}
+\begin{remark}
+Working with the smooth bordism category would require careful attention to either collars, corners or halos.
+\end{remark}
%\nn{the next example might be an unnecessary distraction. consider deleting it.}