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 right id.svg”—then the template Vector version available (or Vva) does not need the new image name parameter.

Transferred from en.wikipedia to Commons by Maksim.

Summary edit

Coherence law for right identity of enriched categories.

Licensing edit

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.

TeX source edit

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

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

\begin{document}
\thispagestyle{empty}
\[
\xymatrix@C=6em{
    \Hom(A,B)\otimes I\ar[d]_{\rho}\ar[r]^{1\otimes\mathrm{id}_B}&\Hom(A,B)\otimes\Hom(B,B)\ar[dl]^{\circ}\\
    \Hom(A,B)
}
\]
\end{document}

Original upload log edit

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) 18:18, 5 March 2006 . . en:User:Smimram Smimram ( en:User_talk:Smimram Talk) . . 500x112 (6787 bytes) (longer arrow)
• (del) (rev) 17:46, 5 March 2006 . . en:User:Smimram Smimram ( en:User_talk:Smimram Talk) . . 426x112 (5737 bytes) (Coherence law for right identity of enriched categories.)