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

An arrow known to be constant: every argument to one value. More...

Concept definition

template<typename F>
concept dedekind::category::IsConstantArrow =
IsArrow<F> && is_constant_arrow_v<std::remove_cvref_t<F>>
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
dedekind::category::IsConstantArrow
An arrow known to be constant: every argument to one value.
Definition morphism.cppm:1109
dedekind::category::is_constant_arrow_v
constexpr bool is_constant_arrow_v
The constancy of an arrow: declared for ConstantMorphism (:discrete), read off composition by the law...
Definition morphism.cppm:1105

Detailed Description

An arrow known to be constant: every argument to one value.