A Monoid where the operation is commutative. More...

Concept definition

template<typename T, typename Op>

concept dedekind::category::IsCommutativeMonoid = IsMonoid<T, Op> && IsCommutative<T, Op>

dedekind::category::IsCommutativeMonoid

A Monoid where the operation is commutative.

Definition total.cppm:605

dedekind::category::IsCommutative

Definition species.cppm:772

dedekind::category::IsMonoid

A Semigroup with a two-sided Identity element.

Definition total.cppm:584

Detailed Description

A Monoid where the operation is commutative.

Both bool (OR, AND) and unsigned int (multiplication) satisfy this level. Importantly, unsigned int with multiplication is a CommutativeMonoid but not a Group (no multiplicative inverse for 2).