A contravariant functor between posetal categories: an order-REVERSING arrow (IsAntiMonotone read categorically). The contravariant pole; inhabited by the negation NegationArrow ¬ and any Compose that mixes one covariant with one contravariant leg. More...

Concept definition

template<typename F, typename Op std::less_equal<>>

concept dedekind::category::IsContravariantFunctor = IsAntiMonotone<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::IsContravariantFunctor

A contravariant functor between posetal categories: an order-REVERSING arrow (IsAntiMonotone read cat...

Definition adjunction.cppm:327

Detailed Description

A contravariant functor between posetal categories: an order-REVERSING arrow (IsAntiMonotone read categorically). The contravariant pole; inhabited by the negation NegationArrow ¬ and any Compose that mixes one covariant with one contravariant leg.

Template Parameters

F	the arrow.
Op	the order it reverses; defaults to `std::less_equal<>`.