Iteration Algebras

  • Stephen L. Bloom
  • Zoltán Ésik
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS)


In Chapter 4 we discussed the algebras of an arbitrary theory. This chapter deals with the algebras of (pre)iteration theories. When T is a preiteration theory, not all T-algebras respect the iteration operation. We say that a T-algebra д = (A, α) is a T-iteration algebra whenever the kernel of the theory morphism α: TPow A is a dagger congruence.


Full Subcategory Free Algebra Parameter Identity Left Adjoint Iteration Algebra 
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.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Stephen L. Bloom
    • 1
  • Zoltán Ésik
    • 2
  1. 1.Department of Computer ScienceStevens Institute of TechnologyHobokenUSA
  2. 2.Department of Computer ScienceA. József UniversitySzegedHungary

Personalised recommendations