Asserts that there exists a unique (unreachable) morphism from Z = Zero to T. More...

Concept definition

template<typename Z, typename T>
concept dedekind::category::HasUniqueMorphismFrom =  std::same_as<Z, Zero> && requires {
  { zero<T>() } -> IsArrow;  
}

Detailed Description

Asserts that there exists a unique (unreachable) morphism from Z = Zero to T.

Encodes the universal property of the Initial Object: for every species T, the factory zero<T>() produces the unique arrow Zero → T.