"Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract)" . "Electronic Notes in Theoretical Computer Science" . . . . "The concept of iteration theory of Bloom and \u00B4Esik summarizes all equational properties that iteration has in usual applications, e.g., in Domain Theory where to every system of recursive equations the least solution is assigned. However, this assignment in Domain Theory is also functorial. Yet, functoriality is not included in the definition of iteration theory. Pity: functorial iteration theories have a particularly simple axiomatization, and most of examples of iteration theories are functorial. The reason for excluding functoriality was the view that this property cannot be called equational. This is true from the perspective of the category Sgn of signatures as the base category: whereas iteration theories are monadic (thus, equationally presentable) over Sgn, functorial iteration theories are not. In the present paper we propose to change the perspective and work, in lieu of Sgn, in the category of sets in context (the presheaf category of finite sets and functions). We p"@en . "Z(MSM6840770014)" . "The concept of iteration theory of Bloom and \u00B4Esik summarizes all equational properties that iteration has in usual applications, e.g., in Domain Theory where to every system of recursive equations the least solution is assigned. However, this assignment in Domain Theory is also functorial. Yet, functoriality is not included in the definition of iteration theory. Pity: functorial iteration theories have a particularly simple axiomatization, and most of examples of iteration theories are functorial. The reason for excluding functoriality was the view that this property cannot be called equational. This is true from the perspective of the category Sgn of signatures as the base category: whereas iteration theories are monadic (thus, equationally presentable) over Sgn, functorial iteration theories are not. In the present paper we propose to change the perspective and work, in lieu of Sgn, in the category of sets in context (the presheaf category of finite sets and functions). We p" . "3"^^ . . "2009" . "Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract)" . . . . . "249" . "1"^^ . "Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract)"@en . . "21"^^ . "RIV/68407700:21230/09:00157080" . . "[B2136242D0F2]" . . "21230" . "312999" . "NL - Nizozemsko" . "Velebil, Ji\u0159\u00ED" . . . . "Elgot Theories: A new Perspective of Iteration Theories (Extended Abstract)"@en . "1571-0661" . "RIV/68407700:21230/09:00157080!RIV10-MSM-21230___" . "iteration theory; Elgot theory; iterative algebra; rational monad"@en . . .