File:Frobenius obj coh 1.png

Summary[edit]

Coherence for Frobenius objects.

Licensing[edit]

I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

TeX source[edit]

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

\begin{document}
\thispagestyle{empty}
\[
\xymatrix{
A\otimes A\ar[d]_{\mu}\ar[r]^-{\delta\otimes A}&\ar[d]^{A\otimes\mu}A\otimes A\otimes A\\
A\ar[r]_-{\delta}&A\otimes A
}
\]
\end{document}