Applied Categorical Structures

, Volume 9, Issue 2, pp 173–216

Iteration 2-theories

  • S. L. Bloom
  • Z. Ésik
  • A. Labella
  • E. G. Manes
Article

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

Abstract

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

Authors and Affiliations

  • S. L. Bloom
    • 1
  • Z. Ésik
    • 2
  • A. Labella
    • 3
  • E. G. Manes
    • 4
  1. 1.Dept. of Computer ScienceStevens Institute of TechnologyHobokenUSA
  2. 2.Dept. of Computer ScienceA. József UniversityHungary
  3. 3.Dept. of Computer ScienceUniversity of Rome “La Sapienza”RomeItaly
  4. 4.Dept. of MathematicsUniversity of MassachusettsAmherstUSA