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}
}
  • Stefan Milius, Dirk Pattinson, Thorsten Wißmann
  • Published in Inf. Comput. 2018
  • Computer Science, Mathematics
  • 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

    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

    • Stefan Milius
    • Computer Science
    • 2010 25th Annual IEEE Symposium on Logic in Computer Science
    • 2010
    VIEW 4 EXCERPTS

    Fixed points of functors

    Finite Behaviours and Finitary Corecursion

    VIEW 2 EXCERPTS

    Proper Functors and their Rational Fixed Point

    VIEW 3 EXCERPTS