What Are Iteration Theories?

  • Jiří Adámek
  • Stefan Milius
  • Jiří Velebil
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4708)

Abstract

We prove that iteration theories can be introduced as algebras for the monad  Open image in new window on the category of signatures assigning to every signature  Open image in new window the rational- Open image in new window -tree signature. This supports the result that iteration theories axiomatize precisely the equational properties of least fixed points in domain theory: Open image in new window  is the monad of free rational theories and every free rational theory has a continuous completion.

Keywords

Continuous Theory Rational Theory Equational Property Left Adjoint Forgetful Functor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Adámek, J., Milius, S., Velebil, J.: Elgot Algebras. Logical Methods in Computer Science 2(5:4), 1–31 (2006)Google Scholar
  2. 2.
    Bénabou, J.: Structures algébriques dans les catégories. Cah. Topol. Géom. Différ. Catég. 10, 1–126 (1968)Google Scholar
  3. 3.
    Bloom, S.L., Ésik, Z.: Iteration Theories. Springer, Heidelberg (1993)MATHGoogle Scholar
  4. 4.
    Bloom, S.L., Ésik, Z.: Fixed-point operations on ccc’s, Part I. Theoret. Comput. Sci. 155, 1–38 (1996)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Bloom, S.L., Ésik, Z.: The equational logic of fixed points. Theoret. Comput. Sci. 179, 1–60 (1997)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Ésik, Z.: Axiomatizing iteration categories. Acta Cybernetica 14, 65–82 (1999)MATHMathSciNetGoogle Scholar
  7. 7.
    Ginali, S.: Regular trees and the free iterative theory. J. Comput. Syst. Sci. 18, 228–242 (1979)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Kelly, G.M., Power, J.: Adjunctions whose units are coequalizers and presentations of finitary enriched monads. J. Pure Appl. Algebra 89, 163–179 (1993)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    MacLane, S.: Categories for the Working Mathematician, 2nd edn. Springer, Heidelberg (1998)Google Scholar
  10. 10.
    Simpson, A., Plotkin, G.: Complete axioms for categorical fixed-point operators. In: IEEE Symposium Logic in Computer Science, pp. 30–41 (1998)Google Scholar
  11. 11.
    Wright, J.B., Thatcher, J.W., Wagner, E.G., Goguen, J.A.: Rational algebraic theories and fixed-point solutions. In: Proc. 17th IEEE Symposium on Foundations of Computing, Houston, Texas, pp. 147–158. IEEE Computer Society Press, Los Alamitos (1976)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Jiří Adámek
    • 1
  • Stefan Milius
    • 1
  • Jiří Velebil
    • 2
  1. 1.Institute of Theoretical Computer Science, TU BraunschweigGermany
  2. 2.Department of Mathematics, ČVUT PragueCzech Republic

Personalised recommendations