Image:Strong monad unit.png

From Wikipedia, the free encyclopedia

[edit] Summary

Coherence law for unit of strong monads.

[edit] Licensing

[edit] TeX source

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

\begin{document}
\thispagestyle{empty}
\[
\xymatrix{
  A\otimes B\ar[dr]_{\eta_{A\otimes B}}\ar[r]^{A\otimes\eta_B}&A\otimes TB\ar[d]^{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.

Date/TimeDimensionsUserComment
current11:33, 31 March 2006206×111 (3 KB)Smimram (Talk | contribs) (Coherence law for unit of strong monads.)

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