Image:Monad unit1.png

From Wikipedia, the free encyclopedia

[edit] Summary

Coherence law for the unit of a monad.

[edit] Licensing

[edit] TeX source

\documentclass{article}
\usepackage{xy}
\xyoption{all}

\begin{document}
\thispagestyle{empty}
\[
\xymatrix{
    \ar@{=}[dr]T\ar[r]^{\eta T}\ar[d]_{T\eta}&T^2\ar[d]^{\mu}\\
    T^2\ar[r]_{\mu}&T
}
\]
\end{document}

File history

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

Date/TimeDimensionsUserComment
current23:25, 7 November 2007130×114 (2 KB)Sgnb (Talk | contribs) (cleaner version of the monad unit commutativity diagram)

The following pages on the English Wikipedia link to this file (pages on other projects are not listed):