F-coalgebra

In mathematics, specifically in category theory, an ${\displaystyle F}$-coalgebra is a structure defined according to a functor ${\displaystyle F}$. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in computer science: examples of coalgebras include lazy, infinite data structures, such as streams, and also transition systems.

${\displaystyle F}$-coalgebras are dual to ${\displaystyle F}$-algebras. Just as the class of all algebras for a given signature and equational theory form a variety, so does the class of all ${\displaystyle F}$-coalgebras satisfying a given equational theory form a covariety, where the signature is given by ${\displaystyle F}$.

...
Wikipedia