Image:Strong monad mult.png
From Wikipedia, the free encyclopedia
No higher resolution available.
Strong_monad_mult.png (420 × 125 pixel, file size: 6 KB, MIME type: image/png)
[edit] Summary
Coherence law for multiplication of 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{
A\otimes T^2B\ar[d]_{A\otimes\mu_B}\ar[r]^{t_{A,TB}}&T(A\otimes TB)\ar[r]^{T(t_{A,B})}&T^2(A\otimes B)\ar[d]^{\mu_{A\otimes B}}\\
A\otimes TB\ar[rr]_{t_{A,B}}&&T(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:53, 31 March 2006 . . Smimram (Talk | contribs) . . 420×125 (5,994 bytes) (something apparently went wrong with the fist upload)
- (del) (rev) 11:32, 31 March 2006 . . Smimram (Talk | contribs) . . 420×125 (5,994 bytes) (Coherence law for multiplication of 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):
