An Associative Magma. More...

Concept definition

template<typename T, typename Op>

concept dedekind::category::IsSemigroup = IsMagma<T, Op> && IsAssociative<T, Op>

dedekind::category::IsAssociative

Definition species.cppm:769

dedekind::category::IsMagma

T × T → T (The Base Total Species).

Definition total.cppm:527

dedekind::category::IsSemigroup

An Associative Magma.

Definition total.cppm:566

Detailed Description

An Associative Magma.

Adds associativity to the Magma: (a ⊕ b) ⊕ c = a ⊕ (b ⊕ c). This is the foundational property that allows operations to be "chained" without ambiguity, enabling sequential composition.