A functor between posetal categories with a definite variance: covariant or contravariant. This is the "@c IsFunctor parametrized with @c IsVariant" umbrella whose poles are IsCovariantFunctor and IsContravariantFunctor, and exactly the leg-shape a Galois connection's adjoints must share (matched variance, below). More...

Concept definition

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

concept dedekind::category::IsVariantFunctor = IsVariant<F, Op>

dedekind::category::IsVariantFunctor

A functor between posetal categories with a definite variance: covariant or contravariant....

Definition adjunction.cppm:341

dedekind::category::IsVariant

An arrow with a definite variance: order-preserving (IsMonotone) or order-reversing (IsAntiMonotone)....

Definition posetal.cppm:456

Detailed Description

A functor between posetal categories with a definite variance: covariant or contravariant. This is the "@c IsFunctor parametrized with @c IsVariant" umbrella whose poles are IsCovariantFunctor and IsContravariantFunctor, and exactly the leg-shape a Galois connection's adjoints must share (matched variance, below).

Template Parameters

F	the arrow.
Op	the order its variance is tested against; defaults to `std::less_equal<>`.