dedekind::category::HasAxiom10ChoiceSplitEpicWitness Concept Reference

Axiom 10 (choice) support via an explicit split-epi witness shape. More...

Concept definition

template<typename S, typename Epi, typename Section>
concept dedekind::category::HasAxiom10ChoiceSplitEpicWitness = 
    IsSubobject<S, typename S::Domain> && IsSplitEpicPair<Epi, Section> &&
    std::same_as<Cod<Epi>, typename S::Domain>

Detailed Description

Axiom 10 (choice) support via an explicit split-epi witness shape.

This is an opt-in structural contract that exposes where choice-like splitting witnesses exist today.