Proper functors and fixed points for finite behaviour

DOI10.23638/LMCS-14(3:22)2018MaRDI QIDQ4683859zbMATH OpenFDO

Authors Stefan Milius

Publication date 26 September 2018

Full work available at URL https://arxiv.org/abs/1705.09198

zbMATH Keywords

algebraic categoryfinal coalgebrarational fixed pointset functor

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Proper functors and their rational fixed point
• Proper semirings and proper convex functors
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
• On the greatest fixed point of a set functor
• A note on expressive coalgebraic logics for finitary set functors

Cites work

• A completeness result for finite -bisimulations
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• Adjoint Lifting Theorems for Categories of Algebras
• Algebraic systems and pushdown automata
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Coalgebraic characterizations of context-free languages
• Congruences of convex algebras.
• Context-free coalgebras
• Corecursive algebras, corecursive monads and Bloom monads
• Eilenberg--Moore algebras for stochastic relations
• Elgot Algebras
• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• Finitary corecursion for the infinitary lambda calculus
• Finite behaviours and finitary corecursion
• Fundamental properties of infinite trees
• Generalizing determinization from automata to coalgebras
• scientific article; zbMATH DE number 41838 (Why is no real title available?)
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2172972 (Why is no real title available?)
• scientific article; zbMATH DE number 3216273 (Why is no real title available?)
• Iterative algebras at work
• Non-deterministic Kleene coalgebras
• On algebras with effectful iteration
• On second-order iterative monads
• On the definition of a family of automata
• Proper functors and their rational fixed point
• Rational streams coalgebraically
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
• Regular trees and the free iterative theory
• Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups
• Simulations of weighted tree automata
• Sound and complete axiomatization of trace semantics for probabilistic systems
• Sound and complete axiomatizations of coalgebraic language equivalence
• Towards a Coalgebraic Chomsky Hierarchy
• Trace semantics via determinization
• Universal coalgebra: A theory of systems

Cited in

(10)

• Proper semirings and proper convex functors
• On algebras with effectful iteration
• Finite multidimensional behaviors
• A new foundation for finitary corecursion and iterative algebras
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
• Proper functors and their rational fixed point
• Fixed Points of Functors - A Short Abstract
• A completeness theorem for probabilistic regular expressions
• A complete inference system for probabilistic infinite trace equivalence

This page was built for publication: Proper functors and fixed points for finite behaviour

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