File:Strong monad commutation.svg

% Author: Ika
% Date: 04/19/2015

\documentclass{amsart}
\usepackage[paperwidth=450px, paperheight=134px, top=-14px, left=0px, right=0px, bottom=0px]{geometry}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\Huge
\[
	\xymatrix@C+2em@R+2em{
	TA \otimes TB \ar^{t_{TA, B}}[r] \ar_{t'_{A, TB}}[d] & T(TA \otimes B) \ar^{T(t'_{A, B})}[r] & T^2(A \otimes B) \ar_{\mu_{A\otimes B}}[d]\\
	T(A \otimes TB) \ar^{T(t_{A, B})}[r] & T^2(A \otimes B) \ar^{\mu_{A\otimes B}}[r] & T(A \otimes B)
	}
\]
\end{document}