Functor Dialgebra

Let F , G : 𝒞 𝒟 : 𝐹 𝐺 𝒞 𝒟 F,G:\mathcal{C}\to\mathcal{D} be a pair of Functors. An ( F , G ) 𝐹 𝐺 (F,G) -dialgebra is a pair of an object X : 𝒞 : 𝑋 𝒞 X:\mathcal{C} and a map α : F ( X ) G ( X ) : 𝛼 𝐹 𝑋 𝐺 𝑋 \alpha:F(X)\to G(X) .

Functor Dialgebras generalize both Functor Algebras and Functor Coalgebras.