Image:Lax monoidal funct assoc.png

From Wikipedia, the free encyclopedia

• Image
• File history
• File links

No higher resolution available.
Lax_monoidal_funct_assoc.png‎ (364 × 199 pixels, file size: 8 KB, MIME type: image/png)

[edit] Summary

Coherence law for associativity of lax monoidal functors

[edit] Licensing

I, the copyright holder 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

Click on a date/time to view the file as it appeared at that time.

• Search for duplicate files
• Edit this file using an external application

  See the setup instructions for more information.

File links