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

ETCS axiom 5 witness: products exist for ambient species A. More...

Concept definition

template<typename A>
concept dedekind::category::HasAxiom5CartesianProduct = IsProduct<std::pair<A, A>, A, A>
dedekind::category::HasAxiom5CartesianProduct
ETCS axiom 5 witness: products exist for ambient species A.
Definition etcs.cppm:160
dedekind::category::IsProduct
Categorification of std::pair<A, B> as the categorical product (A × B).
Definition limit.cppm:498

Detailed Description

ETCS axiom 5 witness: products exist for ambient species A.