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

Non-commutative lattice-style operations (skew lattice fragment). More...

Concept definition

template<typename T, typename Join Sup, typename Meet Inf>
concept dedekind::category::IsMereologicalSkewLattice =
IsMereologicalJoinBand<T, Join> && IsMereologicalMeetBand<T, Meet> &&
IsAbsorptive<T, Join, Meet>
dedekind::category::IsAbsorptive
Mutual absorption and internal idempotency for a pair of operations.
Definition mereology.cppm:982
dedekind::category::IsMereologicalJoinBand
Non-commutative join-like operation (associative + idempotent).
Definition mereology.cppm:959
dedekind::category::IsMereologicalMeetBand
Non-commutative meet-like operation (associative + idempotent).
Definition mereology.cppm:947
dedekind::category::IsMereologicalSkewLattice
Non-commutative lattice-style operations (skew lattice fragment).
Definition mereology.cppm:999

Detailed Description

Non-commutative lattice-style operations (skew lattice fragment).

Requires associative + idempotent join/meet operations connected by absorption. Commutativity is intentionally not required.