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

A carrier A equipped with a structure map A -> F<A>. More...

Concept definition

template<typename Carrier, typename Structure, typename Functor>
concept dedekind::category::IsFCoalgebra =
IsEndofunctor<Functor> && IsArrow<Structure> &&
std::same_as<Dom<Structure>, Carrier> &&
std::same_as<Cod<Structure>, typename Functor::template Shape<Carrier>>
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::IsEndofunctor
A structure-preserving mapping from a Category back to itself (F : 𝒞 → 𝒞).
Definition functor.cppm:474
dedekind::category::IsFCoalgebra
A carrier A equipped with a structure map A -> F<A>.
Definition functor.cppm:512

Detailed Description

A carrier A equipped with a structure map A -> F<A>.