Image:Lax monoidal funct assoc.png
From Wikipedia, the free encyclopedia
No higher resolution available.
Lax_monoidal_funct_assoc.png (364 × 199 pixel, file size: 8 KB, MIME type: image/png)
[edit] Summary
Coherence law for associativity of lax monoidal functors
[edit] Licensing
I, the creator of this work, hereby release it into the public domain. This applies worldwide.
In case this is not legally possible,
I grant any entity the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
[edit] 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}
File history
Legend: (cur) = this is the current file, (del) = delete
this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 20:23, 24 March 2006 . . Smimram (Talk | contribs) . . 364×199 (8,519 bytes) (Coherence law for associativity of lax monoidal functors)
- Edit this file using an external application
See the setup instructions for more information.
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
