dedekind::category::IsBoundaryProjection Concept Reference

Projection witness from an owning/wrapper whole to a boundary object. More...

Concept definition

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

Detailed Description

Projection witness from an owning/wrapper whole to a boundary object.

This concept captures the functional-part interpretation for limit objects: a wrapper may expose a boundary object (One or Zero) through a projection policy. It is intentionally structural and policy-driven.