Applied Categorical Structures

, Volume 9, Issue 2, pp 173–216

Iteration 2-theories


  • S. L. Bloom
    • Dept. of Computer ScienceStevens Institute of Technology
  • Z. Ésik
    • Dept. of Computer ScienceA. József University
  • A. Labella
    • Dept. of Computer ScienceUniversity of Rome “La Sapienza”
  • E. G. Manes
    • Dept. of MathematicsUniversity of Massachusetts

DOI: 10.1023/A:1008708924144

Cite this article as:
Bloom, S.L., Ésik, Z., Labella, A. et al. Applied Categorical Structures (2001) 9: 173. doi:10.1023/A:1008708924144


The axioms of iteration 2-theories capture, up to isomorphism, the equational properties of iteration in conjunction with horizontal and vertical composition in all algebraically complete categories. We give a concrete representation of the free iteration 2-theory generated by a 2-signature.

algebraic theoriesiteration theories2-categoriesinitialityfixed point operationequational logicrewriting

Copyright information

© Kluwer Academic Publishers 2001