more on piched product union axiom
authorKevin Walker <kevin@canyon23.net>
Fri, 06 May 2011 15:00:46 -0700
changeset 753 32e956a73f14
parent 752 84bf15233e08
child 754 2c9f09286beb
child 761 d2611b2744bb
more on piched product union axiom
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) .