dedekind::category::vertical_composition< Α, Β, F, G, H > Struct Template Reference

Vertical composition of two 2-morphisms (β . α). More...

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

Public Attributes
Α	α
Β	β

Detailed Description

template<typename Α, typename Β, IsShapedFunctor F, IsShapedFunctor G, IsShapedFunctor H>
requires IsNaturalTransformation<Α, F, G> && IsNaturalTransformation<Β, G, H>
struct dedekind::category::vertical_composition< Α, Β, F, G, H >

Vertical composition of two 2-morphisms (β . α).

α: F => G, β: G => H. Result: F => H.

---

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

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