Siehe wikipedia:de:Benutzer:Markus Schmaus/Kommutatives Diagramm

%&latex
\documentclass[a4paper]{article}
\usepackage{amssymb}
\usepackage[dvips,matrix,arrow,ps,color,line,curve,frame]{xy}
\usepackage{diagxye}

\thispagestyle{empty}

\begin{document}
\def\R{\mathbb{R}} 
$$\bfig
\Square[
  \R \times \R \times \R`
  \R \times \R`
  \R \times \R`
  \R
;
  \mu \times \mathrm{id}`
  \mathrm{id} \times \mu`
  \mu`
  \mu
]
\efig$$\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.