switching CH back to C_*(Homeo(...))
authorScott Morrison <scott@tqft.net>
Fri, 15 Jul 2011 14:48:43 -0700
changeset 852 7552a9ffbe80
parent 851 4fc3118df1c8
child 853 870d6fac5420
switching CH back to C_*(Homeo(...))
RefereeReport.pdf
text/evmap.tex
Binary file RefereeReport.pdf has changed
--- a/text/evmap.tex	Fri Jul 15 14:45:59 2011 -0700
+++ b/text/evmap.tex	Fri Jul 15 14:48:43 2011 -0700
@@ -460,10 +460,10 @@
 \label{thm:CH-associativity}
 The $\CH{X \to Y}$ actions defined above are associative.
 That is, the following diagram commutes up to homotopy:
-\[ \xymatrix{
-& \CH{Y\to Z} \ot \bc_*(Y) \ar[dr]^{e_{YZ}} & \\
-\CH{X \to Y} \ot \CH{Y \to Z} \ot \bc_*(X) \ar[ur]^{e_{XY}\ot\id} \ar[dr]_{\mu\ot\id} & & \bc_*(Z) \\
-& \CH{X \to Z} \ot \bc_*(X) \ar[ur]_{e_{XZ}} &
+\[ \xymatrix@C=5pt{
+& \CH{Y\to Z} \ot \bc_*(Y) \ar[drr]^{e_{YZ}} & &\\
+\CH{X \to Y} \ot \CH{Y \to Z} \ot \bc_*(X) \ar[ur]^{e_{XY}\ot\id} \ar[dr]_{\mu\ot\id} & & & \bc_*(Z) \\
+& \CH{X \to Z} \ot \bc_*(X) \ar[urr]_{e_{XZ}} & &
 } \]
 Here $\mu:\CH{X\to Y} \ot \CH{Y \to Z}\to \CH{X \to Z}$ is the map induced by composition
 of homeomorphisms.