diff -r 4fc3118df1c8 -r 7552a9ffbe80 text/evmap.tex --- 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.