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

An arrow F declared to be order-reversing with respect to the ambient order relation Op. More...

Concept definition

template<typename F, typename Op std::less_equal<>>
concept dedekind::category::IsAntiMonotone =
IsArrow<F> && is_antimonotone_v<std::remove_cvref_t<F>, Op>
dedekind::category::IsAntiMonotone
An arrow F declared to be order-reversing with respect to the ambient order relation Op.
Definition posetal.cppm:432
dedekind::category::IsArrow
A type that knows its own Domain (A) and Codomain (B), objects it maps between: called at the domain'...
Definition morphism.cppm:168

Detailed Description

An arrow F declared to be order-reversing with respect to the ambient order relation Op.