Summary

Commutative diagram for Hopf algebras.

Licensing

I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

TeX Source

\begin{diagram}[vtrianglewidth=1.8em,tight]
& & H\otimes H & & \rTo^{\scriptstyle S\otimes \id} & & H\otimes H \\
& \ruTo^{\scriptstyle\Delta} & & & & & & \rdTo>{\scriptstyle\nabla} \\
H & & \rTo^{\scriptstyle \varepsilon} & & K & & \rTo^{\scriptstyle \eta} & & H \\
& \rdTo<{\scriptstyle\Delta} & & & & & & \ruTo>{\scriptstyle \nabla} \\
& & H\otimes H & & \rTo_{\scriptstyle \id\otimes S} & & H\otimes H \\
\end{diagram}