dedekind::category::is_associative< T, Op > Struct Template Reference

Trait to mark an operation as associative: (a ∘ b) ∘ c = a ∘ (b ∘ c). More...

Inheritance diagram for dedekind::category::is_associative< T, Op >:

Collaboration diagram for dedekind::category::is_associative< T, Op >:

Detailed Description

template<typename T, typename Op>
struct dedekind::category::is_associative< T, Op >

Trait to mark an operation as associative: (a ∘ b) ∘ c = a ∘ (b ∘ c).

species__Verification_of_the_Algebraic_Atlas

species__Categorical_Invariant_Traits

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/species.cppm