Image:Strong monad commutation.png
From Wikipedia, the free encyclopedia
No higher resolution available.
Strong_monad_commutation.png (563 × 213 pixel, file size: 10 KB, MIME type: image/png)
[edit] Summary
Coherence law for commutative strong monads.
[edit] Licensing
I, the creator 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}
File history
Legend: (cur) = this is the current file, (del) = delete
this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 11:46, 31 March 2006 . . Smimram (Talk | contribs) . . 563×213 (10,464 bytes) (Coherence law for commutative strong monads.)
- Edit this file using an external application
See the setup instructions for more information.
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
