ETCS axiom 2 witness: identity arrow acts neutrally on A. More...

Concept definition

template<typename A>
concept dedekind::category::HasAxiom2Identity = 
    IsArrow<Identity<A>> && std::same_as<Dom<Identity<A>>, A> &&
    std::same_as<Cod<Identity<A>>, A>

Detailed Description

ETCS axiom 2 witness: identity arrow acts neutrally on A.