Solving Algebraic Equations Using Coalgebra

DOI10.1051/ita:2003021zbMath1038.18005OpenAlexW2075130399MaRDI QIDQ4460687

Neil Ghani, Christoph Lüth, Federico De Marchi

Publication date: 29 March 2004

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2003__37_4_301_0

zbMATH Keywords

coalgebranatural transformationmonadlocally finitely presented categoryalgebraic system of equations

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Accessible and locally presentable categories (18C35)

Related Items

Recursive Program Schemes and Context-Free Monads ⋮ The category-theoretic solution of recursive program schemes ⋮ On second-order iterative monads

Cites Work

• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Variations on algebra: Monadicity and generalisations of equational theories
• Fundamental properties of infinite trees
• Algebraic semantics
• On the algebraic structure of rooted trees
• Infinite trees and completely iterative theories: A coalgebraic view
• Coalgebraic Monads
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Free iterative theories: a coalgebraic view
• Final Coalgebras are Ideal Completions of Initial Algebras
• A Coalgebraic View of Infinite Trees and Iteration
• Algebras, Coalgebras, Monads and Comonads
• Parametric corecursion