\usepackage[all]{xy}

\input xy \xyoption{all}

$$\xy

(0,20)*+{(w {\otimes }x) {\otimes }(y {\otimes }z)}="1";

(40,0)*+{w {\otimes }(x {\otimes }(y {\otimes }z))}="2";

(25,-20)*+{ \quad w {\otimes }((x {\otimes }y) {\otimes }z)}="3";

(-25,-20)*+{(w {\otimes }(x {\otimes }y)) {\otimes }z}="4";

(-40,0)*+{((w {\otimes }x) {\otimes }y) {\otimes }z}="5";

{\ar^{a_{w,x,y {\otimes }z}} "1";"2"}

{\ar_{1_w {\otimes }a _{x,y,z}} "3";"2"}

{\ar^{a _{w,x {\otimes }y,z}} "4";"3"}

{\ar_{a _{w,x,y} {\otimes }1_z} "5";"4"}

{\ar^{a _{w {\otimes }x,y,z}} "5";"1"}

\endxy

$$

$$\xymatrix{

(x {\otimes }1) {\otimes }y

\ar[rr]^{a_{x,1,y}}

\ar[dr]_{r_x {\otimes }1_y}

&& x {\otimes }(1 {\otimes }y)

\ar[dl]^{1_x {\otimes }\ell_y } \\

& x {\otimes }y } $$
\xymatrix@!C{

(F(x) \otimes F(y)) \otimes F(z)

\ar[r]^>>>>>>>{F_{2} \otimes 1}

\ar[d]_{a_{F(x), F(y), F(z)}}

& F(x \otimes y) \otimes F(z)

\ar[r]^{F_{2}}

& F((x \otimes y) \otimes z)

\ar[d]^{F(a_{x,y,z})} \\

F(x) \otimes (F(y) \otimes F(z))

\ar[r]^>>>>>>>{1 \otimes F_{2}}

& F(x) \otimes F(y \otimes z)

\ar[r]^{F_{2}}

& F(x \otimes (y \otimes z))

\end{center}

\vspace{3mm}

\hspace{35mm}\xymatrix{

1' \otimes F(x)

\ar[r]^{\ell'_{F(x)}}

\ar[d]_{F_{0} \otimes 1}

& F(x) \\

F(1) \otimes F(x)

\ar[r]^{F_{2}}

& F(1 \otimes x)

 \ar[u]_{F(\ell_{x})}

\vspace{5mm}