Numeric.Algebra.Unital

Unital Multiplication (Multiplicative monoid)

class Unital r

product

Unital Associative Algebra

class UnitalAlgebra r a

Unital Coassociative Coalgebra

class CounitalCoalgebra r c

Bialgebra

class Bialgebra r a