File:Lax monoidal funct assoc.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Lax_monoidal_funct_assoc.png(364 × 199 pixels, file size: 8 KB, MIME type: image/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

Public domain 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

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

24 March 2006

File history

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

Date/TimeThumbnailDimensionsUserComment
current05:13, 19 June 2013Thumbnail for version as of 05:13, 19 June 2013364 × 199 (8 KB)Danneks{{Information |Description ={{en|1=Coherence law for associativity of lax monoidal functors}} |Source =http://en.wikipedia.org/wiki/File:Lax_monoidal_funct_assoc.png |Author =Smimram |Date = |Permission = |other_version...
No pages on the English Wikipedia use this file (pages on other projects are not listed).

Global file usage

The following other wikis use this file: