Functor Coalgebra
A coalgebra of an Endofunctor is a pair of an object and a map . This is a special case of a Functor Dialgebra; in particular, a -dialgebra.
A coalgebra of an Endofunctor is a pair of an object and a map . This is a special case of a Functor Dialgebra; in particular, a -dialgebra.