Math.Algebras.Structures

class Mon m

class Algebra k b

class Coalgebra k b

class Bialgebra k b

class HopfAlgebra k b

unit'

counit'

data SetCoalgebra b

data MonoidCoalgebra m

class Module k a m

(*.)

class Comodule k c n