Iterative Algebras: How Iterative are They?
Jiřı́ Adámek, Reinhard Börger, Stefan Milius, J. Velebil · Theory and applications of categories · 2008
Iterative algebras, defined by the property that every guarded system of recursive equations has a unique solution, are proved to have a much stronger property: every system of recursive equations has a unique strict solution.Those systems that have a unique solution in every iterative algebra are characterized. * Support by the