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 α: T → Pow A is a dagger congruence.
Unable to display preview. Download preview PDF.