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

Categorical alias for a Predicate mapping to Ω: the characteristic arrow \(\chi_A : A \to \Omega\) that classifies a subobject (a set). More...

Concept definition

template<typename P>
concept dedekind::category::IsCharacteristic = IsPredicate<P>
dedekind::category::IsCharacteristic
Categorical alias for a Predicate mapping to Ω: the characteristic arrow that classifies a subobject...
Definition topoi.cppm:114
dedekind::category::IsPredicate
The Predicate Morphism: the DSL's membership test, i.e. the characteristic arrow .
Definition topoi.cppm:104

Detailed Description

Categorical alias for a Predicate mapping to Ω: the characteristic arrow \(\chi_A : A \to \Omega\) that classifies a subobject (a set).