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

Concept definition

template<typename F>
concept dedekind::category::IsIdentityFunctor =
IsShapedFunctor<F> && is_identity_functor_v<std::remove_cvref_t<F>>
dedekind::category::IsIdentityFunctor
Definition functor.cppm:411
dedekind::category::IsShapedFunctor
A 1-morphism mapping CatS -> CatT, refined with the container shape: an IsFunctor that additionally e...
Definition functor.cppm:173
dedekind::category::is_identity_functor_v
constexpr bool is_identity_functor_v
The unit laws of Cat, decided at the type: an identity functor composes to the other leg itself,...
Definition functor.cppm:409