\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}

この作品の著作権者である私は、この作品についての権利を放棄しパブリックドメインとします。これは全世界で適用されます。 一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。 私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。