Image:Strong monad commutation.png

From Wikipedia, the free encyclopedia

Image
File history
File links

No higher resolution available.
Strong_monad_commutation.png‎ (563 × 213 pixels, file size: 10 KB, MIME type: image/png)

[edit] Summary

Coherence law for commutative strong monads.

[edit] Licensing

I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide.

In case this is not legally possible,

I grant any entity the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

[edit] TeX source

\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}