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

DOI10.1007/S10485-016-9457-8zbMATH Open1375.18029OpenAlexW2483053542MaRDI QIDQ328657FDOQ328657

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

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

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• A coalgebraic view on reachability
• Minimality Notions via Factorization Systems and Examples
• On algebras with effectful iteration

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)