Image:Strong monad mult.png

From Wikipedia, the free encyclopedia

• Image
• File history
• File links

No higher resolution available.
Strong_monad_mult.png‎ (420 × 125 pixels, file size: 6 KB, MIME type: image/png)

[edit] Summary

Coherence law for multiplication of 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{
  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

Click on a date/time to view the file as it appeared at that time.

• Search for duplicate files
• Edit this file using an external application

  See the setup instructions for more information.

File links