# A New Foundation for Finitary Corecursion and Iterative Algebras

@article{Milius2018ANF, title={A New Foundation for Finitary Corecursion and Iterative Algebras}, author={Stefan Milius and Dirk Pattinson and Thorsten Wi{\ss}mann}, journal={Inf. Comput.}, year={2018}, volume={271}, pages={104456} }

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… CONTINUE READING

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

1

Twitter Mention

#### Citations

##### Publications citing this paper.

SHOWING 1-2 OF 2 CITATIONS

## On Algebras with Effectful Iteration

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 50 REFERENCES

## Fundamental Properties of Infinite Trees

VIEW 9 EXCERPTS

HIGHLY INFLUENTIAL

## Towards a Coalgebraic Chomsky Hierarchy

VIEW 6 EXCERPTS

## On second-order iterative monads

VIEW 6 EXCERPTS

## A fixpoint theorem for complete categories

VIEW 3 EXCERPTS

HIGHLY INFLUENTIAL

## Generalizing determinization from automata to coalgebras

VIEW 6 EXCERPTS

HIGHLY INFLUENTIAL

## A Sound and Complete Calculus for Finite Stream Circuits

VIEW 4 EXCERPTS

## Finite Behaviours and Finitary Corecursion

VIEW 2 EXCERPTS

## Proper Functors and their Rational Fixed Point

VIEW 3 EXCERPTS