File:Lax monoidal funct assoc.png
Summary
| Description |
English: Coherence law for associativity of lax monoidal functors |
| Date | 24 March 2006 (original upload date) |
| Source | Transferred from en.wikipedia to Commons. |
| Author | Smimram at English Wikipedia |
TeX source
\documentclass{article}
\usepackage{xy}
\xyoption{all}
\newcommand{\C}{\mathcal C}
\newcommand{\D}{\mathcal D}
\begin{document}
\thispagestyle{empty}
\[
\xymatrix{
(FA\bullet FB)\bullet FC\ar[d]_{\phi_{A,B}\bullet 1}\ar[r]^{\alpha_\D}&FA\bullet(FB\bullet FC)\ar[d]^{1\bullet\phi_{B,C}}\\
F(A\otimes B)\bullet FC\ar[d]_{\phi_{A\otimes B,C}}&FA\bullet F(B\otimes C)\ar[d]^{\phi_{A,B\otimes C}}\\
F((A\otimes B)\otimes C)\ar[r]_{F\alpha_\C}&F(A\otimes(B\otimes C))
}
\]
\end{document}
Licensing
 |
This work has been released into the public domain by its author, Smimram at English Wikipedia. This applies worldwide. In some countries this may not be legally possible; if so: Smimram grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
Original upload log
The original description page was here. All following user names refer to en.wikipedia.
- 2006-03-24 20:23 Smimram 364×199× (8519 bytes) Coherence law for associativity of lax monoidal functors