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

ETCS axiom 8 witness: initial object 0 is present. More...

Concept definition

template<typename A>
concept dedekind::category::HasAxiom8EmptySet = IsInitialObject<Zero>
dedekind::category::HasAxiom8EmptySet
ETCS axiom 8 witness: initial object 0 is present.
Definition etcs.cppm:202
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

Detailed Description

ETCS axiom 8 witness: initial object 0 is present.