Álgebra de Hopf

Una álgebra de Hopf es una bialgebra (un álgebra asociativa con una estructura de coalgebra coasociativa compatible: comultiplicación Δ y counit ε) provista de una antipoda S, una aplicación lineal que actúa como inversa categórica para la convolución y satisface axiomas que hacen compatibles las estructuras algebraica y coalgebraica.