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

research
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...
research
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...
research
02/09/2018

The language (and series) of Hammersley-type processes

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

Automatic sequences: from rational bases to trees

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

π-augmented pregroups and applications to linguistics

We enrich pregroups with a mapping which allows us to locally apply prec...
research
11/03/2019

Automata Learning: An Algebraic Approach

We propose a generic categorical framework for learning unknown formal l...
research
05/19/2021

Wilf classes of non-symmetric operads

Two operads are said to belong to the same Wilf class if they have the s...

Please sign up or login with your details

Forgot password? Click here to reset