# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1300919416 25200
# Node ID a53b3dd7ea9fc7fb492512a09aae13ad6c0fdfeb
# Parent  83c1ec0aac1f80e473113754f1877457dd098af2
slightly more detail on lack of surjectivity

diff -r 83c1ec0aac1f -r a53b3dd7ea9f text/ncat.tex
--- 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)$.