Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)

DOI10.1016/j.entcs.2009.07.100zbMath1338.18017OpenAlexW2095080592MaRDI QIDQ2805168

Jiří Velebil, Jiří Adámek, Stefan Milius

Publication date: 10 May 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.100

zbMATH Keywords

iteration theoryiterative algebraElgot theoryrational monad

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

From Coalgebraic to Monoidal Traces, Equational properties of iterative monads, Elgot theories: a new perspective on the equational properties of iteration

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational properties of iterative monads
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Regular trees and the free iterative theory
• On the algebraic structure of rooted trees
• Recursion and corecursion have the same equational logic
• Terminal coalgebras and free iterative theories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• The Uniformity Principle on Traced Monoidal Categories
• Iterative algebras at work
• What Are Iteration Theories?
• Iterative reflections of monads
• Elgot Algebras