dedekind::category::IsProductProjection Concept Reference

Functional-part projection witness from a product whole to one part. More...

Concept definition

template<typename Projection, typename Whole, typename Part>
concept dedekind::category::IsProductProjection =  requires(Projection projection, Whole whole) {
  { projection(whole) } -> std::convertible_to<Part>;
}

Detailed Description

Functional-part projection witness from a product whole to one part.

A projection is a morphism-like accessor from a whole P to one component type (A for left, B for right). In categorical terms these correspond to canonical product projections π₁ and π₂.