dedekind::category::identity_transformation< F > Struct Template Reference

The Identity Natural Transformation for Functor F. More...

Collaboration diagram for dedekind::category::identity_transformation< F >:

Public Types
using	SourceFunctor = F
using	TargetFunctor = F

Public Member Functions
constexpr auto	operator() (const typename F::Σ_cat::Arrow::Domain &c) const

Public Attributes
F	f_map

Detailed Description

template<IsShapedFunctor F>
struct dedekind::category::identity_transformation< F >

The Identity Natural Transformation for Functor F.

α(c) = id_{F(c)}.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/natural.cppm