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

我，本作品著作权人，释出本作品至公有领域。这适用于全世界。 在一些国家这可能不合法；如果是这样的话，那么： 我无条件地授予任何人以任何目的使用本作品的权利，除非这些条件是法律规定所必需的。