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'