# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1300919438 25200
# Node ID 58c9e149d05a7598c3d5a7b145d387fea0bc994b
# Parent  0ec80a7773dcef7e4464c50481aee22ba6dd2048# Parent  a53b3dd7ea9fc7fb492512a09aae13ad6c0fdfeb
Automated merge with http://tqft.net/hg/blob

diff -r a53b3dd7ea9f -r 58c9e149d05a text/ncat.tex
--- a/text/ncat.tex	Wed Mar 23 15:30:16 2011 -0700
+++ b/text/ncat.tex	Wed Mar 23 15:30:38 2011 -0700
@@ -251,7 +251,7 @@
 Let $\cC(B_1)\trans E \times_{\cC(Y)} \cC(B_2)\trans E$ denote the fibered product of these two maps. 
 We have a map
 \[
-	\gl_Y : \cC(B_1)\trans E \times_{\cC(Y)} \cC(B_2)\trans E \to \cC(B)_E
+	\gl_Y : \cC(B_1)\trans E \times_{\cC(Y)} \cC(B_2)\trans E \to \cC(B)\trans E
 \]
 which is natural with respect to the actions of homeomorphisms, and also compatible with restrictions
 to the intersection of the boundaries of $B$ and $B_i$.
@@ -699,7 +699,7 @@
 \begin{itemize}
 \item functors $\cC_k$ from $k$-balls to sets, $0\le k\le n$ (Axiom \ref{axiom:morphisms});
 \item boundary natural transformations $\cC_k \to \cl{\cC}_{k-1} \circ \bd$ (Axiom \ref{nca-boundary});
-\item ``composition'' or ``gluing'' maps $\gl_Y : \cC(B_1)\trans E \times_{\cC(Y)} \cC(B_2)\trans E \to \cC(B_1\cup_Y B_2)_E$ (Axiom \ref{axiom:composition});
+\item ``composition'' or ``gluing'' maps $\gl_Y : \cC(B_1)\trans E \times_{\cC(Y)} \cC(B_2)\trans E \to \cC(B_1\cup_Y B_2)\trans E$ (Axiom \ref{axiom:composition});
 \item ``product'' or ``identity'' maps $\pi^*:\cC(X)\to \cC(E)$ for each pinched product $\pi:E\to X$ (Axiom \ref{axiom:product});
 \item if enriching in an auxiliary category, additional structure on $\cC_n(X; c)$;
 \item in the $A_\infty$ case, an action of $C_*(\Homeo_\bd(X))$, and similarly for families of collar maps (Axiom \ref{axiom:families}).