 Bialgebra

An algebra over a commutative ring that is also a coalgebra, whose comultiplication and counit preserve the multiplication and unit. Equivalently it is a bimonoid in $k$-modules.