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

DOI10.1007/s10485-016-9457-8zbMath1375.18029OpenAlexW2483053542MaRDI QIDQ328657

Lutz Schröder, Stefan Milius, 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) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of machines, automata (18B20)

Related Items (4)

Minimality Notions via Factorization Systems and Examples ⋮ Unnamed Item ⋮ On algebras with effectful iteration ⋮ A coalgebraic view on reachability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the final sequence of a finitary set functor
• About permutation algebras, (pre)sheaves and named sets
• Fundamental properties of infinite trees
• Une théorie combinatoire des séries formelles
• Regular trees and the free iterative theory
• Universal coalgebra: A theory of systems
• Nominal logic, a first order theory of names and binding
• Terminal coalgebras in well-founded set theory
• Terminal coalgebras and free iterative theories
• On final coalgebras of power-set functors and saturated trees
• A fixpoint theorem for complete categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Strong functors and monoidal monads
• Nominal Sets
• Nominal Coalgebraic Data Types with Applications to Lambda Calculus
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• Iterative algebras at work
• Nominal Kleene Coalgebra
• Rational streams coalgebraically
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjoint Lifting Theorems for Categories of Algebras
• Finitary Corecursion for the Infinitary Lambda Calculus

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