File:Enriched mult.png

This math image could be re-created using vector graphics as an SVG file. This has several advantages; see Commons:Media for cleanup for more information. If an SVG form of this image is available, please upload it and afterwards replace this template with {{vector version available|new image name}}.
It is recommended to name the SVG file “Enriched mult.svg”—then the template Vector version available (or Vva) does not need the new image name parameter.
Category:Math images that should use vector graphics#%20Enriched%20mult.pngCategory:PNG that should use vector graphics

Transferred from en.wikipedia to Commons by Maksim.

The original description page was here. All following user names refer to en.wikipedia.

Summary

Coherence law for associativity in enriched categories.

Licensing

Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Category:Self-published work#Enriched%20mult.pngCategory:PD-self#Enriched%20mult.png

TeX source

\documentclass{article}
\usepackage{xy}
\xyoption{all}

\newcommand{\Hom}{\mathrm{Hom}}

\begin{document}
\thispagestyle{empty}
\[
{\tiny
\xymatrix{
    (\Hom(C,D)\otimes\Hom(B,C))\otimes\Hom(A,B)\ar[r]^{\alpha}\ar[d]_{\circ\otimes 1}&\Hom(C,D)\otimes(\Hom(B,C)\otimes\Hom(A,B))\ar[r]^{1\otimes\circ}&\Hom(C,D)\otimes\Hom(A,C)\ar[d]^{\circ}\\
    \Hom(B,D)\otimes\Hom(A,B)\ar[rr]_{\circ}&&\Hom(A,D)
}
}
\]
\end{document}
date/timeusernameedit summary
17:33, 5 March 2006en:User:Smimram(added tex source)
17:29, 5 March 2006en:User:Smimram

Original upload log

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.

\documentclass{article} \usepackage{xy} \xyoption{all}

\newcommand{\Hom}{\mathrm{Hom}}

\begin{document} \thispagestyle{empty} \[ {\tiny \xymatrix{

   (\Hom(C,D)\otimes\Hom(B,C))\otimes\Hom(A,B)\ar[r]^-{\alpha}\ar[d]_-{\circ\otimes 1}&\Hom(C,D)\otimes(\Hom(B,C)\otimes\Hom(A,B))\ar[r]^-{1\otimes\circ}&\Hom(C,D)\otimes\Hom(A,C)\ar[d]^-{\circ}\\
   \Hom(B,D)\otimes\Hom(A,B)\ar[rr]_-{\circ}&&\Hom(A,D)

} } \] \end{document}

Category:Commutative diagrams of binary operations Category:Images with LaTeX source code Category:Media missing infobox template
Category:Commutative diagrams of binary operations Category:Files with no machine-readable author Category:Files with no machine-readable source Category:Images with LaTeX source code Category:Math images that should use vector graphics Category:Media missing infobox template Category:PD-self Category:PNG that should use vector graphics Category:Self-published work