dedekind::category::horizontal_composition< Α, Β, F, F_prime, G, G_prime > Struct Template Reference

Horizontal composition (Godement product). More...

Collaboration diagram for dedekind::category::horizontal_composition< Α, Β, F, F_prime, G, G_prime >:

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

Public Attributes
Α	α
Β	β
G	g_functor

Detailed Description

template<typename Α, typename Β, IsShapedFunctor F, IsShapedFunctor F_prime, IsShapedFunctor G, IsShapedFunctor G_prime>
requires IsNaturalTransformation<Α, F, F_prime> && IsNaturalTransformation<Β, G, G_prime>
struct dedekind::category::horizontal_composition< Α, Β, F, F_prime, G, G_prime >

Horizontal composition (Godement product).

F: C->D, G: D->E and α: F=>F', β: G=>G'.

---

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

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