Solving Algebraic Equations Using Coalgebra

DOI10.1051/ITA:2003021MaRDI QIDQ4460687zbMATH OpenOpenAlexFDO

Authors Federico De Marchi, Neil Ghani, Christoph Lüth

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, https://eudml.org/doc/92725, https://semanticscholar.org/paper/36e13c87c8695b4687211760a6db0c1702adb0be

zbMATH Keywords

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

Recommendations

• Fixed Points as Equations and Solutions
• scientific article; zbMATH DE number 2172972
• Final coalgebras and a solution theorem for arbitrary endofunctors
• Universal coalgebra: A theory of systems
• Relational properties of sequential composition of coalgebras

Cites work

• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1086712 (Why is no real title available?)
• A coalgebraic view of infinite trees and iteration
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Algebraic semantics
• Algebras, coalgebras, monads and comonads
• Coalgebraic monads
• Final Coalgebras are Ideal Completions of Initial Algebras
• Free iterative theories: a coalgebraic view
• Fundamental properties of infinite trees
• Infinite trees and completely iterative theories: A coalgebraic view
• On the algebraic structure of rooted trees
• Parametric corecursion
• Variations on algebra: Monadicity and generalisations of equational theories

Cited in

(6)

• Relational properties of sequential composition of coalgebras
• Initial algebra for a system of right-linear functors
• The category-theoretic solution of recursive program schemes
• Recursive program schemes and context-free monads
• scientific article; zbMATH DE number 4123701 (Why is no real title available?)
• On second-order iterative monads

This page was built for publication: Solving Algebraic Equations Using Coalgebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4460687)