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

Matches an Arrow whose Domain is a categorical Product (std::pair). More...

Concept definition

template<typename F>
concept dedekind::category::IsArrowFromProduct =
IsArrow<F> && IsProduct<Dom<F>, typename Dom<F>::first_type,
typename Dom<F>::second_type>
dedekind::category::IsArrowFromProduct
Matches an Arrow whose Domain is a categorical Product (std::pair).
Definition limit.cppm:631
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::IsProduct
Categorification of std::pair<A, B> as the categorical product (A × B).
Definition limit.cppm:498
dedekind::category::Dom
typename std::remove_cvref_t< F >::Domain Dom
Shorthand to look up the Domain of an Arrow type F.
Definition morphism.cppm:231

Detailed Description

Matches an Arrow whose Domain is a categorical Product (std::pair).