Source:

%&latex
\documentclass{article}
 \usepackage[matrix,arrow,ps]{xy}
 \pagestyle{empty}

\begin{document}
 \[
 \xymatrix@C+2em{
 A \otimes A \otimes A \ar[r]^{\mu_A \otimes \mathrm{id}_A} \ar[d]_{\mathrm{id}_A \otimes \mu_A}  & 
 A \otimes A \ar[d]^{\mu_A} 
 \\
 A \otimes A \ar[r]^{\mu_A}  & 
 A
 }
 \]
\end{document}

Ich, der Urheberrechtsinhaber dieses Werkes, veröffentliche es als gemeinfrei. Dies gilt weltweit. In manchen Staaten könnte dies rechtlich nicht möglich sein. Sofern dies der Fall ist: Ich gewähre jedem das bedingungslose Recht, dieses Werk für jedweden Zweck zu nutzen, es sei denn, Bedingungen sind gesetzlich erforderlich.