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

Concept definition

template<typename T>
concept dedekind::category::IsIdentityArrow = IsArrow<T> && is_identity_v<std::remove_cvref_t<T>>
dedekind::category::IsArrow
A type that knows its own Domain (A) and Codomain (B), objects it maps between: called at the domain'...
Definition morphism.cppm:168
dedekind::category::IsIdentityArrow
Definition morphism.cppm:856
dedekind::category::is_identity_v
constexpr bool is_identity_v
The unit law, decided at the type: an identity on the matching object composes to the other leg itsel...
Definition morphism.cppm:838