Functor Dialgebra
Let be a pair of Functors. An -dialgebra is a pair of an object and a map .
Functor Dialgebras generalize both Functor Algebras and Functor Coalgebras.
Let be a pair of Functors. An -dialgebra is a pair of an object and a map .
Functor Dialgebras generalize both Functor Algebras and Functor Coalgebras.