File:Strong monad multiplication.svg

% Author: Ika
% Date: 11/14/2014

\documentclass{amsart}
\usepackage[paperwidth=440px, paperheight=132px, top=-16px, left=0px, right=0px, bottom=0px]{geometry}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\Huge
\[
	\xymatrix@C+2em@R+2em{
	A \otimes T^2B \ar^{t_{A, TB}}[r] \ar_{1_A \otimes \mu_B}[d] & T(A \otimes TB) \ar^{T(t_{A, B})}[r] & T^2(A \otimes B) \ar^{\mu_{A \otimes B}}[d]\\
	A \otimes TB \ar^{t_{A, B}}[rr] && T(A \otimes B)
	}
\]
\end{document}