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

Category C satisfies the regular-category axioms. Pinned for Set and (transitively) every topos. More...

Concept definition

template<typename C>
concept dedekind::category::IsRegularCategory = IsSmallCategoryShape<C> && is_regular_category_v<C>
dedekind::category::IsRegularCategory
Category C satisfies the regular-category axioms. Pinned for Set and (transitively) every topos.
Definition factorisation.cppm:217
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_regular_category_v
constexpr bool is_regular_category_v
User-declared witness: C is a regular category — has finite limits, kernel pairs and coequalizers of ...
Definition factorisation.cppm:206

Detailed Description

Category C satisfies the regular-category axioms. Pinned for Set and (transitively) every topos.

Gates on IsSmallCategoryShape<C>; see IsFactorisationSystem above for the rationale.