dedekind::category::IsNumericHoleClassifier Concept Reference

A characteristic morphism χ: T -> Ω_K3 for numeric support. More...

Concept definition

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

Detailed Description

A characteristic morphism χ: T -> Ω_K3 for numeric support.