Image:Enriched mult.png

La bildo estas kopiita de wikipedia:en. La originala priskribo estas:

[edit] Summary

Coherence law for associativity in enriched categories.

[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 anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. Afrikaans | Alemannisch | Aragonés | العربية | Asturianu | Български | Català | Česky | Cymraeg | Dansk | Deutsch | Eʋegbe | Ελληνικά | English | Español | Esperanto | Euskara | Estremeñu | فارسی | Français | Galego | 한국어 | हिन्दी | Hrvatski | Ido | Bahasa Indonesia | Íslenska | Italiano | עברית | Kurdî / كوردی | Latina | Lietuvių | Latviešu | Magyar | Македонски | Bahasa Melayu | Nederlands | ‪Norsk (bokmål)‬ | ‪Norsk (nynorsk)‬ | 日本語 | Polski | Português | Ripoarisch | Română | Русский | Shqip | Slovenčina | Slovenščina | Српски / Srpski | Svenska | ไทย | Tagalog | Türkçe | Українська | Tiếng Việt | Walon | ‪中文(简体)‬ | ‪中文(繁體)‬ | zh-yue-hant | +/-

[edit] 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}

[edit] Historio de la dosiero

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) 17:29, 5 March 2006 . . en:User:Smimram Smimram ( en:User_talk:Smimram Talk) . . 788x99 (3175 bytes)

\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}

• Enriched category