Keywords: Enriched right id.png math en wikipedia Maksim page en wikipedia Coherence law for right identity of enriched categories TeX source \documentclass article \usepackage xy \xyoption all \newcommand \Hom \mathrm Hom \begin document \thispagestyle empty \ \xymatrix C 6em \Hom A B \otimes I\ard_ \rho \arr 1\otimes\mathrm id _B \Hom A B \otimes\Hom B B \ardl \circ \\ \Hom A B \ \end document 1 date/time username edit summary ---- 18 19 5 March 2006 en User Smimram <nowiki> <span class autocomment ><a href /wiki/Image Enriched_right_id png TeX_source title Image Enriched right id png > †’</a>TeX source</span> </nowiki> ---- 17 46 5 March 2006 en User Smimram <nowiki> added tex source </nowiki> ---- 17 46 5 March 2006 en User Smimram <nowiki> Coherence law for right identity of enriched categories </nowiki> 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 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 Commutative diagrams of binary operations Commutative triangles Images with LaTeX source code |