A morphism that maps into the Terminal Object (One). More...

Concept definition

template<typename F>

concept dedekind::category::IsTerminalMorphism = IsMorphicTotal<F>

dedekind::category::IsMorphicTotal

A Morphism whose Codomain is the Terminal Object (One).

Definition limit.cppm:93

dedekind::category::IsTerminalMorphism

A morphism that maps into the Terminal Object (One).

Definition limit.cppm:106

Detailed Description

A morphism that maps into the Terminal Object (One).

Alias for IsMorphicTotal. A terminal morphism !: T → One collapses all information: every element of T maps to the single inhabitant of std::monostate.