Functor Coalgebra

A coalgebra of an Endofunctor F : 𝒞 𝒞 : 𝐹 𝒞 𝒞 F:\mathcal{C}\to\mathcal{C} is a pair of an object A : 𝒞 : 𝐴 𝒞 A:\mathcal{C} and a map A F ( A ) 𝐴 𝐹 𝐴 A\to F(A) . This is a special case of a Functor Dialgebra; in particular, a ( Id , F ) Id 𝐹 (\mathrm{Id},F) -dialgebra.