Image:Strong monad assoc.png
From Wikipedia, the free encyclopedia
No higher resolution available.
Strong_monad_assoc.png (548 × 123 pixel, file size: 7 KB, MIME type: image/png)
[edit] Summary
Coherence law of associativity for 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 B)\otimes TC\ar[d]_{\alpha_{A,B,TC}}\ar[rr]^{t_{A\otimes B,C}}&&T((A\otimes B)\otimes C)\ar[d]^{T(\alpha_{A,B,C})}\\
A\otimes(B\otimes TC)\ar[r]_{A\otimes t_{B,C}}&A\otimes T(B\otimes C)\ar[r]_{t_{A,B\otimes C}}&T(A\otimes(B\otimes C))
}
\]
\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) 14:56, 31 March 2006 . . Smimram (Talk | contribs) . . 548×123 (7,084 bytes) (small typo)
- (del) (rev) 11:24, 31 March 2006 . . Smimram (Talk | contribs) . . 548×123 (7,112 bytes) (Coherence law of associativity for 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):
