dedekind::category::IsMonoid Concept Reference

A Semigroup with a two-sided Identity element. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsMonoid =  IsSemigroup<T, Op> && IsUnitalMagma<T, Op>

Detailed Description

A Semigroup with a two-sided Identity element.

Adds a neutral element e such that e ⊕ a = a = a ⊕ e for all a. bool with logical_or is a Monoid (identity = false); unsigned int with plus is a Monoid (identity = 0).