Die Bialgebren bilden zusammen mit den Abbildungen, die sowohl Algebra- als auch Koalgebrahomomorphismen sind, eine Kategorie. == Verallgemeinerung == Algebren und Koalgebren können in beliebigen monoidalen Kategorien betrachtet werden. Für Kompatibilitätsbedingungen ist es jedoch notwendig, dass auch das Tensorprodukt einer (Ko)Algebra auf nat...