Koalgebra

Eine Koalgebra über einem Körper oder Ring ist ein linearer Raum C mit einer Komultiplikation Δ: C→C⊗C und einer Ko‑Einheit ε: C→k, die Koassoziativität ((Δ⊗id)∘Δ=(id⊗Δ)∘Δ) und Ko‑Einheitsaxiome ((ε⊗id)∘Δ=id=(id⊗ε)∘Δ) erfüllen. Sie ist die kategoriale Dualbegriff einer Algebra bei Umkehrung der Pfeile.