Coálgebra

Una coálgebra sobre un cuerpo o anillo es un espacio lineal C provisto de una comultiplicación Δ: C→C⊗C y una co‑unidad ε: C→k que satisfacen la coasociatividad ((Δ⊗id)∘Δ=(id⊗Δ)∘Δ) y los axiomas de co‑unidad ((ε⊗id)∘Δ=id=(id⊗ε)∘Δ). Es la noción categórica dual de un álgebra al invertir las flechas.