Image:Strong monad left unit.png

From Wikipedia, the free encyclopedia

• Image
• File history
• File links

[edit] Summary

Coherence law of left unit 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{
  I\otimes TA\ar[dr]_{\lambda_A}\ar[r]^{t_{I,A}}&T(I\otimes A)\ar[d]^{T(\lambda_A)}\\
  &TA
}
\]
\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:26, 31 March 2006 . . Smimram (Talk | contribs) . . 221×107 (3,409 bytes) (Coherence law of left unit for strong monads.)

• Edit this file using an external application

  See the setup instructions for more information.

File links

• Strong monad