- class Multiplicative r => Commutative r
- class Algebra r a => CommutativeAlgebra r a
- class Coalgebra r c => CocommutativeCoalgebra r c
- class (Bialgebra r h, CommutativeAlgebra r h, CocommutativeCoalgebra r h) => CommutativeBialgebra r h

# Documentation

class Multiplicative r => Commutative r Source

A commutative multiplicative semigroup

class Algebra r a => CommutativeAlgebra r a Source

(Commutative r, Semiring r) => CommutativeAlgebra r IntSet | |

(Commutative r, Semiring r) => CommutativeAlgebra r () | |

(Commutative r, Monoidal r, Semiring r, Abelian b, Partitionable b) => CommutativeAlgebra r (IntMap b) | |

(Commutative r, Semiring r, Ord a) => CommutativeAlgebra r (Set a) | |

(Commutative r, Monoidal r, Semiring r, Ord a, Abelian b, Partitionable b) => CommutativeAlgebra r (Map a b) | |

(CommutativeAlgebra r a, CommutativeAlgebra r b) => CommutativeAlgebra r (a, b) | |

(CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c) => CommutativeAlgebra r (a, b, c) | |

(CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c, CommutativeAlgebra r d) => CommutativeAlgebra r (a, b, c, d) | |

(CommutativeAlgebra r a, CommutativeAlgebra r b, CommutativeAlgebra r c, CommutativeAlgebra r d, CommutativeAlgebra r e) => CommutativeAlgebra r (a, b, c, d, e) |

class Coalgebra r c => CocommutativeCoalgebra r c Source

class (Bialgebra r h, CommutativeAlgebra r h, CocommutativeCoalgebra r h) => CommutativeBialgebra r h Source

(Bialgebra r h, CommutativeAlgebra r h, CocommutativeCoalgebra r h) => CommutativeBialgebra r h |