A type at a lattice / category bound: an initial object (⊥) or a terminal object (⊤). More...

Concept definition

template<typename T>

concept dedekind::category::IsBoundaryObject = IsInitialObject<T> || IsTerminalObject<T>

dedekind::category::IsBoundaryObject

A type at a lattice / category bound: an initial object (⊥) or a terminal object (⊤).

Definition limit.cppm:249

dedekind::category::IsInitialObject

A type that plays the role of an initial object — either the canonical global Zero (std::nullptr_t,...

Definition limit.cppm:235

dedekind::category::IsTerminalObject

A type that plays the role of a terminal object — either the canonical global One (std::monostate,...

Definition limit.cppm:140

Detailed Description

A type at a lattice / category bound: an initial object (⊥) or a terminal object (⊤).

The disjunction IsInitialObject || IsTerminalObject, named because "did this collapse to a bound?" is a recurring query. The set reducer's codomain leg uses it: a normal form that is a boundary (Ø / 𝔸) factors through the Rosolini dominance Σ, so it is retagged to the decided Boolean codomain (#894).