# Bialgebra

In the notes, we have that, given an algebra $(H,m,u)$ and coalgebra $(H,\Delta, \epsilon)$, we have a bialgebra if $\Delta, \epsilon$ are algebra maps. I assume an algebra homomorphism qualifies as an algebra map.

Is this method equivalent to checking the commutativity of the four diagrams given by Sweedler?