Bialgebra

Una bialgebra es un espacio vectorial o módulo provisto simultáneamente de una estructura de álgebra asociativa y unitaria (multiplicación y unidad) y de una estructura de coálgebra coasociativa y con counidad (comultiplicación y co‑unidad), junto con condiciones de compatibilidad que hacen que la comultiplicación y la co‑unidad sean homomorfismos de álgebras (equivalente a que la multiplicación y