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
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)
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