\documentclass{article}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\DeclareMathOperator{\id}{id}
\begin{document}
 \begin{equation*}
  \xymatrix@C-1.5em@R+2em{
  & {H \otimes H} \ar[rr]^{S \otimes \id} & & {H \otimes H} \ar[dr]^{\nabla} & \\
  {H} \ar[ur]^{\Delta} \ar[dr]_{\Delta} \ar[rr]^{\varepsilon} & & {K} \ar[rr]^{\eta} & & {H} \\
  & {H \otimes H} \ar[rr]_{\id \otimes S} & & {H \otimes H} \ar[ur]_{\nabla} &
  }
 \end{equation*}
\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.