Page "Bialgebra" Paragraph 1

Compatibility means that the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, that the multiplication and the unit of the algebra both be coalgebra morphisms: these statements are equivalent in that they are expressed by the same diagrams.

A bialgebra homomorphism is a linear map that is both an algebra and a coalgebra homomorphism.