File:Strong monad commutation.png

Summary[edit]

Coherence law for commutative strong monads.

Licensing[edit]

I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

TeX source[edit]

\documentclass{article}
\usepackage{xy}
\xyoption{all}

\begin{document}
\thispagestyle{empty}
\[
\xymatrix{
  &T(TA\otimes B)\ar[r]^{T(t'_{A,B})}&T^2(A\otimes B)\ar[dr]^{\mu_{A\otimes B}}\\
  TA\otimes TB\ar[ur]^{t_{TA,B}}\ar[dr]_{t'_{A,TB}}&&&T(A\otimes B)\\
  &T(A\otimes TB)\ar[r]_{T(t_{A,B})}&T^2(A\otimes B)\ar[ur]_{\mu_{A\otimes B}}
}
\]
\end{document}