Solving Algebraic Equations Using Coalgebra

Federico De Marchi, Neil Ghani, Christoph Lüth
2003 RAIRO - Theoretical Informatics and Applications  
Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing is prohibited. It has been known for some time that algebraic systems in Greibach Normal Form have unique solutions. This paper presents a categorical approach to algebraic systems of equations which generalizes the traditional approach in two ways i) we define algebraic equations for locally finitely
more » ... le categories rather than just Set; and ii) we define algebraic equations to allow right-hand sides which need not consist of finite terms. We show these generalized algebraic systems of equations have unique solutions by replacing the traditional metric-theoretic arguments with coalgebraic arguments. Mathematics Subject Classification. 18C10, 18C35, 18C50.
doi:10.1051/ita:2003021 fatcat:ksands7b4jfibpswdf2pomytg4