dedekind::category::IsEndofunctor Concept Reference

A structure-preserving mapping from a Category back to itself (F : 𝒞 → 𝒞). More...

Concept definition

template<typename Context>
concept dedekind::category::IsEndofunctor = 
    IsShapedFunctor<Context> &&
    std::same_as<typename Context::Σ_cat, typename Context::Τ_cat>

Detailed Description

A structure-preserving mapping from a Category back to itself (F : 𝒞 → 𝒞).

F : C -> C The reflexive case where the species-space remains invariant.