This is a survey on fixed points of endofunctors, including initial algebras and terminal
coalgebras. We also consider the rational fixed point, a canonical domain of behavior for …

This paper contributes to a generic theory of behaviour of “finite-state” systems. Systems are
coalgebras with a finitely generated carrier for an endofunctor on a locally finitely …

The rational fixed point of a set functor is well-known to capture the behaviour of finite
coalgebras. In this paper we consider functors on algebraic categories. For them the rational …

The initial algebra for an endofunctor F provides a recursion and induction scheme for data
structures whose constructors are described by F. The initial-algebra construction by …

The rational fixed point of a set functor is well-known to capture the behaviour of finite
coalgebras. In this paper we consider functors on algebraic categories. For them the rational …

For every finitary monad T on sets and every endofunctor F on the category of T-algebras we
introduce the concept of an ffg-Elgot algebra for F, that is, an algebra admitting coherent …

For every finitary monad on sets and every endofunctor on the category of-algebras, we
introduce the concept of an ffg-Elgot algebra for, ie an algebra admitting coherent solutions …

For every finitary monad $ T $ on sets and every endofunctor $ F $ on the category of $ T $-
algebras we introduce the concept of an ffg-Elgot algebra for $ F $, that is, an algebra …

Инициальные алгебры для эндофункторов в категории используются с 1970-х годов в
алгебраической спецификации и для семантики определений индуктивных типов …