Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::Is𝔸 Concept Referenceexport
module dedekind.sets

A universe: the terminal object of Sub(T) — the reified type constraint 𝔸<T,L,C> itself (carrier, logic, cardinality class). More...

Concept definition

template<typename U>
concept dedekind::sets::Is𝔸 = IsLSet<U> && dedekind::category::IsTerminalObject<U>
dedekind::category::IsTerminalObject
A type that plays the role of a terminal object — either the canonical global One (std::monostate,...
Definition limit.cppm:140
dedekind::sets::Is𝔸
A universe: the terminal object of Sub(T) — the reified type constraint 𝔸<T,L,C> itself (carrier,...
Definition boundaries.cppm:539

Detailed Description

A universe: the terminal object of Sub(T) — the reified type constraint 𝔸<T,L,C> itself (carrier, logic, cardinality class).