Proper functors and their rational fixed point

DOI10.4230/LIPICS.CALCO.2017.18MaRDI QIDQ4580214zbMATH OpenOpenAlexFDO

Authors Stefan Milius

Publication date 13 August 2018

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

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)

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

Cited in

(7)

• Fixed Points of Functors - A Short Abstract
• 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

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)