dedekind::algebra::IsInitialRing Concept Reference

R is the initial object in Ring — for every ring S there exists a unique ring homomorphism R → S. More...

Concept definition

template<typename R>
concept dedekind::algebra::IsInitialRing = 
    dedekind::category::IsCommutativeRing<R, std::plus<R>,
                                          std::multiplies<R>> &&
    is_initial_ring_v<R>

Detailed Description

R is the initial object in Ring — for every ring S there exists a unique ring homomorphism R → S.

Composes:

• The structural ring claim ( IsRing<R, std::plus<R>, std::multiplies<R>>): R must actually be a ring.
• The opt-in trait is_initial_ring_v<R>: the engineer's claim that this specific ring is the initial one.

Universal-property content is the engineer's honesty obligation.

Template Parameters

R	The carrier type claimed to be the initial ring.