The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions

  • Hitoshi Furusawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3051)

Abstract

In this paper we show that the categories of Kleene algebras, action algebras and action lattices are related by adjunctions using the technique of finite limit sketches (FL sketches). This is an answer to one of Kozen’s questions which has been open since 1994.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1984), updated version available at http://www.cwru.edu/artsci/math/wells/pub/ttt.html Google Scholar
  2. 2.
    Barr, M., Wells, C.: Category theory for computing science, second edition. Prentice-Hall, Englewood Cliffs (1995)Google Scholar
  3. 3.
    Barr, M.: Models of Horn theory. In: Gray, J., Scedrov, A. (eds.) Proc. of a Summer Research Conference, Categories in Computer Science and Logic. Contemporary Mathematics, vol. 92, pp. 1–7. AMS, Providence (1980)Google Scholar
  4. 4.
    Kozen, D.: On induction vs. ∗-continuity. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 167–176. Springer, Heidelberg (1982)CrossRefGoogle Scholar
  5. 5.
    Kozen, D.: On Kleene algebras and closed semirings. In: Rovan, B. (ed.) MFCS 1990. LNCS, vol. 452, pp. 26–47. Springer, Heidelberg (1990)CrossRefGoogle Scholar
  6. 6.
    Kozen, D.: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events. Information and Computation 110, 366–390 (1994)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Kozen, D.: On action algebras. In: van Eijck, Visser (eds.) Logic and Information Flow, pp. 78–88. MIT Press, Cambridge (1994)Google Scholar
  8. 8.
    Gray, J.W.: Categorical Aspects of Data Type Constructors. TCS 50, 103–135 (1987)MATHCrossRefGoogle Scholar
  9. 9.
    Pratt, V.: Action logic and pure induction. In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 97–120. Springer, Heidelberg (1991)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Hitoshi Furusawa
    • 1
  1. 1.Laboratory for Verification and Semantics, AISTHyogoJapan

Personalised recommendations