dedekind::category::is_involutive< F, T > Struct Template Reference

Trait: a callable F is involutive on T iff F(F(x)) = x for all x ∈ T. Primary is std::false_type; opt-in via specialisation or member discovery (mirrors :species's is_reflexive / is_transitive export pattern). It is the CERTIFICATE the shape cannot supply: F² = Id is a claim about F, not a syntactic property of its call. More...

Inheritance diagram for dedekind::category::is_involutive< F, T >:

Collaboration diagram for dedekind::category::is_involutive< F, T >:

Detailed Description

template<typename F, typename T>
struct dedekind::category::is_involutive< F, T >

Trait: a callable F is involutive on T iff F(F(x)) = x for all x ∈ T. Primary is std::false_type; opt-in via specialisation or member discovery (mirrors :species's is_reflexive / is_transitive export pattern). It is the CERTIFICATE the shape cannot supply: F² = Id is a claim about F, not a syntactic property of its call.

---

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

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