Image:Monad alg morph.png

From Wikipedia, the free encyclopedia

You have new messages (last change).

Image
File history
File links

Monad_alg_morph.png‎ (2KB, MIME type: image/png)

[edit] Summary

Coherence for morphisms of algebra of a monad.

[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{
    Tx\ar[d]_{h}\ar[r]^{Tf}&Tx'\ar[d]^{h'}\\
    x\ar[r]_{f}&x'
}
\]
\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.