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

Concept definition

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

concept dedekind::category::IsMonotone = IsArrow<F> && is_monotone_v<std::remove_cvref_t<F>, Op>

A type that knows its own Domain (A) and Codomain (B), objects it maps between: called at the domain'...

Definition morphism.cppm:168

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

Definition posetal.cppm:406

Detailed Description

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

∀ x, y in Dom<F>: Op(x, y) ⇒ Op(F(x), F(y)). Per Mac Lane, this is the canonical shape of an arrow between posetal categories.