Math.Algebras.Structures

class Mon m

class Algebra k b

unit'

class Coalgebra k b

counit'

class Bialgebra k b

class HopfAlgebra k b

data SetCoalgebra b

data MonoidCoalgebra m

class Module k a m

(*.)

class Comodule k c n

class HasPairing k u v

pairing'