File:Lax monoidal functor associative.svg

% One needs PDF2SVG to generate the SVG graph.
% Author: Smimram, Danneks, Ika
% Update Date: 11/22/2014

\documentclass{amsart}
\usepackage[paperwidth=350px, paperheight=190px, top=-12px, left=0px, right=0px, bottom=0px]{geometry}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\Huge
\[
	\xymatrix@C+1em@R+1em{ 
	(FA \bullet FB) \bullet FC \ar[d]_{\phi_{A,B}\bullet 1} \ar[r]^{\alpha_{\mathcal{D}}} & FA \bullet (FB \bullet FC) \ar[d]^{1 \bullet \phi_{B,C}}\\
  F(A \otimes B) \bullet FC \ar[d]_{\phi_{A\otimes B,C}} & FA \bullet F(B \otimes C)\ar[d]^{\phi_{A,B \otimes C}}\\
  F((A \otimes B) \otimes C) \ar[r]_{F\alpha_{\mathcal{C}}} & F(A \otimes(B \otimes C))
	}
\]
\end{document}