dedekind::category::HasUniqueMorphismTo Concept Reference

Asserts that there exists a unique morphism from T to U = One. More...

Concept definition

template<typename T, typename U>
concept dedekind::category::HasUniqueMorphismTo =  std::same_as<U, One> && requires {
  { bang<T>() } -> IsTerminalMorphism;
}

Detailed Description

Asserts that there exists a unique morphism from T to U = One.

Encodes the universal property of the Terminal Object: for every species T, the factory bang<T>() produces the unique arrow T → One.