Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsFactorisationSystem Concept Referenceexport
module dedekind.category

Category C admits the canonical (regular epi, mono) factorisation system. Form-chain row 6 (#718). More...

Concept definition

template<typename C>
concept dedekind::category::IsFactorisationSystem =
IsSmallCategoryShape<C> && is_factorisation_system_v<C>
dedekind::category::IsFactorisationSystem
Category C admits the canonical (regular epi, mono) factorisation system. Form-chain row 6 (#718).
Definition factorisation.cppm:180
dedekind::category::IsSmallCategoryShape
The structural prefix of IsSmallCategory (:small): a type naming an Arrow, a Species and an Id,...
Definition morphism.cppm:253
dedekind::category::is_factorisation_system_v
constexpr bool is_factorisation_system_v
User-declared witness: category C admits a (regular epi, mono) factorisation system — every arrow f o...
Definition factorisation.cppm:166

Detailed Description

Category C admits the canonical (regular epi, mono) factorisation system. Form-chain row 6 (#718).

Gates on IsSmallCategoryShape<C> so a downstream user cannot register the trait on a non-category-shaped type (e.g. int) and have the concept fire — matches the codebase's existing category-level concept pattern in :small / :morphism.