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

Я, власник авторських прав на цю роботу, передаю роботу в суспільне надбання. Застосовується по всьому світу. У деяких країнах це не може бути юридично можливо, в такому випадку: Я даю кожному право на використання цієї роботи для будь-яких цілей, без будь-яких умов, якщо такі умови не вимагаються за законом.