DeepAI AI Chat
Log In Sign Up

A New Foundation for Finitary Corecursion and Iterative Algebras

02/21/2018
by   Stefan Milius, et al.
0

This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally finitely presentable category. Their behaviour gives rise to a new fixpoint of the coalgebraic type functor called locally finite fixpoint (LFF). We prove that if the given endofunctor preserves monomorphisms then the LFF always exists and is a subcoalgebra of the final coalgebra (unlike the rational fixpoint previously studied by Adámek, Milius, and Velebil). Moreover, we show that the LFF is characterized by two universal properties: (1) as the final locally finitely generated coalgebra, and (2) as the initial fg-iterative algebra. As instances of the LFF we first obtain the known instances of the rational fixpoint, e.g. regular languages, rational streams and formal power-series, regular trees etc. And we obtain a number of new examples, e.g. (realtime deterministic resp. non-deterministic) context-free languages, constructively S-algebraic formal power-series (and any other instance of the generalized powerset construction by Silva, Bonchi, Bonsangue, and Rutten) and the monad of Courcelle's algebraic trees.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/05/2016

The algebra of Kleene stars of the plane and polylogarithms

We extend the definition and study the algebraic properties of the polyl...
11/14/2019

On the Behaviour of Coalgebras with Side Effects and Algebras with Effectful Iteration

For every finitary monad T on sets and every endofunctor F on the catego...
02/09/2018

The language (and series) of Hammersley-type processes

We study languages and formal power series associated to (variants of) H...
02/22/2021

Automatic sequences: from rational bases to trees

The nth term of an automatic sequence is the output of a deterministic f...
03/09/2023

π-augmented pregroups and applications to linguistics

We enrich pregroups with a mapping which allows us to locally apply prec...
11/22/2018

Kleene stars of the plane, polylogarithms and symmetries

We extend the definition and construct several bases for polylogarithms ...
09/08/2021

Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)

This is a study of the computing power of the subtyping machine behind K...