F-coalgebra
In mathematics, specifically in category theory, an F {\displaystyle F} -coalgebra is a structure defined according to a functor F {\displaystyle F} , with specific properties as defined below. For both algebras and coalgebras, a functor is a convenient and general way of organizing a signature.