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)


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.


Commutative Diagram Binary Operator Action Lattice Unary Operator Left Adjoint 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1984), updated version available at 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)zbMATHCrossRefMathSciNetGoogle 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)zbMATHCrossRefGoogle 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