Axiom 10 semantic-law surface (split-epi shape + equality codomain). More...

Concept definition

template<typename S, typename Epi, typename Section>
concept dedekind::category::HasAxiom10ChoiceSplitEpicLawSurface = 
    HasAxiom10ChoiceSplitEpicWitness<S, Epi, Section> &&
    std::equality_comparable<Cod<Epi>>

Detailed Description

Axiom 10 semantic-law surface (split-epi shape + equality codomain).

Law truth itself is established by tests via split_epi_section_law_at on concrete witnesses.