Image:Monad unit1.png
From Wikipedia, the free encyclopedia

No higher resolution available.
Monad_unit1.png (130 × 114 pixels, file size: 2 KB, MIME type: image/png)
[edit] Summary
Coherence law for the unit of a monad.
[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, |
[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/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 23:25, 7 November 2007 | 130×114 (2 KB) | Sgnb (Talk | contribs) | (cleaner version of the monad unit commutativity diagram) |
- Search for duplicate files
- Edit this file using an external application
See the setup instructions for more information.
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

