Notes for AKT-090924-2/0:46:01

Definition: A bialgebra $B$ is a $B$ with an algebra and a co-algebra structure such that the co-algebra operations (comultiplication and counit) are morphisms of algebras.