dedekind::category::IsCompatibleSetPair Concept Reference

Two set objects over the same ambient species and same Ω codomain. More...

Concept definition

template<typename S1, typename S2>
concept dedekind::category::IsCompatibleSetPair = 
    IsSubobject<S1, typename S1::Domain> &&
    IsSubobject<S2, typename S2::Domain> &&
    std::same_as<typename S1::Domain, typename S2::Domain> &&
    std::same_as<std::invoke_result_t<S1 const&, typename S1::Domain const&>,
                 std::invoke_result_t<S2 const&, typename S2::Domain const&>>

Detailed Description

Two set objects over the same ambient species and same Ω codomain.