Keywords: Enriched left id.png math en wikipedia Maksim page en wikipedia Coherence law for left identity of enriched categories TeX source \documentclass article \usepackage xy \xyoption all \newcommand \Hom \mathrm Hom \begin document \thispagestyle empty \ \xymatrix C 6em I\otimes\Hom A B \ard_ \lambda \arr \mathrm id _A\otimes 1 \Hom A A \otimes\Hom A B \ardl \circ \\ \Hom A B \ \end document 1 date/time username edit summary ---- 18 18 5 March 2006 en User Smimram <nowiki> <span class autocomment ><a href /wiki/Image Enriched_left_id png TeX_source title Image Enriched left id png > †’</a>TeX source</span> </nowiki> ---- 17 42 5 March 2006 en User Smimram <nowiki> added TeX source </nowiki> ---- 17 41 5 March 2006 en User Smimram <nowiki> Coherence law for left 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 17 5 March 2006 en User Smimram Smimram en User_talk Smimram Talk 498x112 6645 bytes longer arrow del rev 17 41 5 March 2006 en User Smimram Smimram en User_talk Smimram Talk 423x112 5713 bytes Coherence law for left identity of enriched categories Commutative diagrams of binary operations Commutative triangles Images with LaTeX source code |