dedekind::category::IsProjectedInitialObject Concept Reference

Initial-object witness through an optional projection policy. More...

Concept definition

template<typename T, typename Project std::identity>
concept dedekind::category::IsProjectedInitialObject = 
    requires(Project project, const T& t) {
      { project(t) };
    } &&
    IsInitialObject<std::remove_cvref_t<decltype(std::declval<Project>()(
        std::declval<const T&>()))>>

Detailed Description

Initial-object witness through an optional projection policy.

With the default projector (std::identity), this reduces to IsInitialObject<T>. With an opt-in projector, wrappers can expose the canonical initial object (Zero) without changing default semantics.