File:Frobenius obj coh 1.png

Summary

Coherence for Frobenius objects.

Licensing

Lua error in package.lua at line 80: module 'strict' not found.

TeX source

\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}

Lua error in package.lua at line 80: module 'strict' not found.