From Wikipedia, the free encyclopedia
No higher resolution available.
Summary
Coherence law for commutative strong monads.
Licensing
Public domain Public domain false false
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
\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}
English Add a one-line explanation of what this file represents
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time Thumbnail Dimensions User Comment
current 11:46, 31 March 2006 563 × 213 (10 KB) Smimram Coherence law for commutative strong monads.
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):