Proper functors and their rational fixed point

DOI10.4230/LIPICS.CALCO.2017.18zbMATH Open1433.18001OpenAlexW2962932096MaRDI QIDQ4580214FDOQ4580214

Authors: Stefan Milius 

Publication date: 13 August 2018

Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2017.18

Recommendations

• Proper functors and fixed points for finite behaviour
• Proper semirings and proper convex functors
• On the greatest fixed point of a set functor
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
• A Kleene Theorem for Polynomial Coalgebras

zbMATH Keywords

coalgebraproper functorproper semiringrational fixed point

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Special properties of functors (faithful, full, etc.) (18A22)

Cited In (7)

• On the greatest fixed point of a set functor
• Proper semirings and proper convex functors
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
• On algebras with effectful iteration
• Proper functors and fixed points for finite behaviour
• A new foundation for finitary corecursion and iterative algebras
• Fixed Points of Functors - A Short Abstract

This page was built for publication: Proper functors and their rational fixed point

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580214)