Solving Algebraic Equations Using Coalgebra
Mathematics and Computer Science, University of Leicester; firstname.lastname@example.org., email@example.com.
2 FB 3 – Mathematics and Computer Science, Universität Bremen; firstname.lastname@example.org.
Accepted: 6 August 2003
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 presentable 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
Key words: Coalgebra / recursion / category theory.
© EDP Sciences, 2003