File:Frobenius obj coh 2.png

Coherence for Frobenius objects.

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.

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

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