bialgebra
A bialgebra is a vector space that is both a unital algebra
and a coalgebra, such that the comultiplication and counit are unital algebra homomorphisms.
A bialgebra homomorphism is a linear map that is both an algebra and a coalgebra homomorphism.