Terminal coalgebras and free iterative theories

DOI10.1016/j.ic.2005.11.005zbMath1104.68068OpenAlexW2057028131MaRDI QIDQ2500475

Jiří Adámek, Stefan Milius

Publication date: 16 August 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2005.11.005

zbMATH Keywords

terminal coalgebraiterative theorybasic equationrational tree

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (13)

Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets ⋮ The category-theoretic solution of recursive program schemes ⋮ How iterative reflections of monads are constructed ⋮ A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ Coequational logic for accessible functors ⋮ Recursive coalgebras of finitary functors ⋮ On functors preserving coproducts and algebras with iterativity ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Iterative reflections of monads ⋮ A Description of Iterative Reflections of Monads (Extended Abstract) ⋮ Bases for parametrized iterativity ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) ⋮ Coequational Logic for Finitary Functors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the final sequence of a finitary set functor
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Regular trees and the free iterative theory
• The existence and construction of free iterative theories
• On the algebraic structure of rooted trees
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• On final coalgebras of continuous functors
• Infinite trees and completely iterative theories: A coalgebraic view
• Completely iterative algebras and completely iterative monads
• On tree coalgebras and coalgebra presentations
• A fixpoint theorem for complete categories
• On Rational Monads and Free Iterative Theories
• Free iterative theories: a coalgebraic view
• Final Coalgebras are Ideal Completions of Initial Algebras
• A final coalgebra theorem
• Covarieties and complete covarieties
• Parametric corecursion

This page was built for publication: Terminal coalgebras and free iterative theories