Koalgebra

Eine Koalgebra ist ein Vektorraum, der die zu einer Algebra duale Struktur besitzt. Das heißt anstelle einer Multiplikation, die zwei Elemente auf ihr Produkt abbildet, gibt es eine Komultiplikation, die ein Element auf ein Tensorprodukt abbildet, und anstelle eines neutralen Elements, das die Einbettung des Grundkörpers in die Algebra ermöglicht, gibt es eine Abbildung aus der Koalgebra in den Grundkörper, die Koeins genannt wird.