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

Я, владелец авторских прав на это произведение, передаю его в общественное достояние. Это разрешение действует по всему миру. В некоторых странах это не может быть возможно юридически, в таком случае: Я даю право кому угодно использовать данное произведение в любых целях без каких-либо условий, за исключением таких условий, которые требуются по закону.