Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::IsChainDecidedSymmetric Concept Referenceexport
module dedekind.category

Symmetry, stated once for every relation on a walkable chain. More...

Concept definition

template<typename T, typename Rel>
concept dedekind::category::IsChainDecidedSymmetric = IsWalkableChain<T, Rel, 2> && !requires {
T::template is_symmetric_v<Rel>;
} && requires {
typename std::bool_constant<symmetric_on(Rel{}, unit<T>(Sup{}),
unit<T>(Inf{}))>;
}
dedekind::category::IsChainDecidedSymmetric
Symmetry, stated once for every relation on a walkable chain.
Definition equivalence.cppm:213
dedekind::category::IsWalkableChain
Rel is a stateless relation on a discrete bounded chain T on which a law of Arity variables can be de...
Definition mereology.cppm:559
dedekind::category::is_symmetric_v
constexpr bool is_symmetric_v
The "v" helper following the :species convention.
Definition equivalence.cppm:118
dedekind::category::unit
constexpr T unit(Op)
The unit of Op at the carrier T, read as unit<T>(Op{}).
Definition species.cppm:287
dedekind::category::symmetric_on
constexpr bool symmetric_on(const Rel &rel, const T &lo, const T &hi)
Symmetry over a whole chain (mereology__The_Laws_On_A_Chain).
Definition equivalence.cppm:208
dedekind::sets::Rel
Rel
The comparison an atom makes.
Definition terms.cppm:201

Detailed Description

Symmetry, stated once for every relation on a walkable chain.