dedekind::category::IsPartialSupportClassifier Concept Reference

Characteristic morphism χ: T -> Ω_K3 for partial support. More...

Concept definition

template<typename Chi, typename T>
concept dedekind::category::IsPartialSupportClassifier = 
    IsCharacteristic<Chi> && std::same_as<Dom<Chi>, T> &&
    std::same_as<Cod<Chi>, Ternary>

Detailed Description

Characteristic morphism χ: T -> Ω_K3 for partial support.