Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::HasAxiom3TerminalObject Concept Referenceexport
module dedekind.category

ETCS axiom 3 witness: terminal object 1 is present. More...

Concept definition

template<typename A>
concept dedekind::category::HasAxiom3TerminalObject = IsTerminalObject<One>
dedekind::category::HasAxiom3TerminalObject
ETCS axiom 3 witness: terminal object 1 is present.
Definition etcs.cppm:148
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

ETCS axiom 3 witness: terminal object 1 is present.