--- a/text/ncat.tex Wed Mar 23 15:19:37 2011 -0700
+++ b/text/ncat.tex Wed Mar 23 15:30:16 2011 -0700
@@ -207,16 +207,16 @@
We do not insist on surjectivity of the gluing map, since this is not satisfied by all of the examples
we are trying to axiomatize.
-If our $k$-morphisms $\cC(X)$ are labeled cell complexes embedded in $X$, then a $k$-morphism is
+If our $k$-morphisms $\cC(X)$ are labeled cell complexes embedded in $X$ (c.f. Example \ref{ex:traditional-n-categories} below), then a $k$-morphism is
in the image of the gluing map precisely which the cell complex is in general position
-with respect to $E$.
+with respect to $E$. On the other hand, in categories based on maps to a target space (c.f. Example \ref{ex:maps-to-a-space} below) the gluing map is always surjective
If $S$ is a 0-sphere (the case $k=1$ above), then $S$ can be identified with the {\it disjoint} union
of two 0-balls $B_1$ and $B_2$ and the colimit construction $\cl{\cC}(S)$ can be identified
with the (ordinary, not fibered) product $\cC(B_1) \times \cC(B_2)$.
Let $\cl{\cC}(S)\trans E$ denote the image of $\gl_E$.
-We will refer to elements of $\cl{\cC}(S)\trans E$ as ``splittable along $E$" or ``transverse to $E$".
+We will refer to elements of $\cl{\cC}(S)\trans E$ as ``splittable along $E$" or ``transverse to $E$". When the gluing map is surjective every such element is splittable.
If $X$ is a $k$-ball and $E \sub \bd X$ splits $\bd X$ into two $k{-}1$-balls $B_1$ and $B_2$
as above, then we define $\cC(X)\trans E = \bd^{-1}(\cl{\cC}(\bd X)\trans E)$.