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}