Keywords: Enriched mult.png math en wikipedia Maksim page en wikipedia Coherence law for associativity in enriched categories 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 \arr \alpha \ard_ \circ\otimes 1 \Hom C D \otimes \Hom B C \otimes\Hom A B \arr 1\otimes\circ \Hom C D \otimes\Hom A C \ard \circ \\ \Hom B D \otimes\Hom A B \arrr_ \circ \Hom A D \ \end document 1 date/time username edit summary ---- 17 33 5 March 2006 en User Smimram <nowiki> added tex source </nowiki> ---- 17 29 5 March 2006 en User Smimram <nowiki></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 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 \arr - \alpha \ard_- \circ\otimes 1 \Hom C D \otimes \Hom B C \otimes\Hom A B \arr - 1\otimes\circ \Hom C D \otimes\Hom A C \ard - \circ \\ \Hom B D \otimes\Hom A B \arrr_- \circ \Hom A D \ \end document Commutative diagrams of binary operations Images with LaTeX source code |