# HG changeset patch
# User Kevin Walker <kevin@canyon23.net>
# Date 1304719246 25200
# Node ID 32e956a73f141f003df42509bff681bd99a13c8e
# Parent  84bf15233e082bf45db6818ab95f71257a9a471c
more on piched product union axiom

diff -r 84bf15233e08 -r 32e956a73f14 text/ncat.tex
--- a/text/ncat.tex	Fri May 06 14:56:13 2011 -0700
+++ b/text/ncat.tex	Fri May 06 15:00:46 2011 -0700
@@ -529,6 +529,7 @@
 We assume that there is a decomposition of $X$ into balls which is compatible with
 $X_1$ and $X_2$.
 Let $a\in \cC(X)$, and let $a_i$ denote the restriction of $a$ to $X_i\sub X$.
+(We assume that $a$ is splittable with respect to the above decomposition of $X$ into balls.)
 Then 
 \[
 	\pi^*(a) = \pi_1^*(a_1)\bullet \pi_2^*(a_2) .