Iteration Theories: The Equational Logic of Iterative Processes |
Other editions - View all
Iteration Theories: The Equational Logic of Iterative Processes Stephen L. Bloom,Zoltan Esik Limited preview - 2012 |
Iteration Theories: The Equational Logic of Iterative Processes Stephen L. Bloom,Zoltan Esik No preview available - 1993 |
Iteration Theories: The Equational Logic of Iterative Processes Stephen L. Bloom,Zoltan Esik No preview available - 2011 |
Common terms and phrases
1m+p 2-category 2-theory algebraic theory base matrix base morphisms colimit Conway matrix theory Conway theory coproduct Corollary dagger congruence defined Definition denote distinguished morphism Example Exercise feedback finite follows free algebra functorial dagger implication functorial star GA-implication hom-set homomorphism horizontal morphism ideal morphisms idempotent injective base integers isomorphic iteration equation iteration semiring iteration theory morphism left adjoint left zero identity Lemma Matr(S matricial matrix iteration theory matrix theory Mats morphism f n-tuple n→n+p ordered theory partial function permutation identity phism preiteration theory preiteration theory morphism primitive normal description Proof Proposition prove pushout satisfies the functorial star and omega star operation subtheory Suppose surjective base morphism synchronization tree T-algebra T-iteration algebra Theorem theory congruence tupling unique morphism vertical morphism w-complete w-continuous theory