Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets

DOI10.1007/S10485-016-9457-8MaRDI QIDQ328657zbMATH OpenOpenAlexFDO

Authors Stefan Milius, Lutz Schröder, Thorsten Wißmann

Publication date 20 October 2016

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-016-9457-8

zbMATH Keywords

final coalgebraslifted functorsnominal setsrational fixpoints

Mathematics Subject Classification ID

Topoi (18B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical semantics of formal languages (18C50) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of machines, automata (18B20)

Recommendations

• Nominal coalgebraic data types with applications to lambda calculus
• Proper functors and fixed points for finite behaviour
• Proper functors and their rational fixed point
• Generalised name abstraction for nominal sets
• Nominal sets. Names and symmetry in computer science

Cites work

• scientific article; zbMATH DE number 3989612 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 2172972 (Why is no real title available?)
• A fixpoint theorem for complete categories
• About permutation algebras, (pre)sheaves and named sets
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjoint Lifting Theorems for Categories of Algebras
• Finitary corecursion for the infinitary lambda calculus
• Fundamental properties of infinite trees
• Iterative algebras at work
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Nominal Kleene coalgebra
• Nominal coalgebraic data types with applications to lambda calculus
• Nominal logic, a first order theory of names and binding
• Nominal sets. Names and symmetry in computer science
• On final coalgebras of power-set functors and saturated trees
• On the final sequence of a finitary set functor
• Rational streams coalgebraically
• Regular trees and the free iterative theory
• Sound and complete axiomatizations of coalgebraic language equivalence
• Strong functors and monoidal monads
• Terminal coalgebras and free iterative theories
• Terminal coalgebras in well-founded set theory
• Une théorie combinatoire des séries formelles
• Universal coalgebra: A theory of systems

Cited in

(6)

• Nominal coalgebraic data types with applications to lambda calculus
• Proper functors and their rational fixed point
• A coalgebraic view on reachability
• Minimality Notions via Factorization Systems and Examples
• On algebras with effectful iteration
• Proper functors and fixed points for finite behaviour

This page was built for publication: Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets

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