Elgot theories: a new perspective on the equational properties of iteration
From MaRDI portal
Publication:3005993
DOI10.1017/S0960129510000496zbMath1222.18002OpenAlexW2116965870MaRDI QIDQ3005993
Jiří Adámek, Stefan Milius, Jiří Velebil
Publication date: 10 June 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129510000496
Related Items
Unnamed Item ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ Unguarded recursion on coinductive resumptions ⋮ Unifying Guarded and Unguarded Iteration ⋮ Iteration and labelled iteration ⋮ Complete Elgot monads and coalgebraic resumptions ⋮ Unnamed Item ⋮ A New Foundation for Finitary Corecursion ⋮ A new foundation for finitary corecursion and iterative algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Equational properties of iterative monads
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Iterative algebras
- Independence of the equational axioms for iteration theories
- Unique fixed points vs. least fixed points
- Regular trees and the free iterative theory
- Introduction to extensive and distributive categories
- On the algebraic structure of rooted trees
- On the monadicity of finitary monads
- Recursion and corecursion have the same equational logic
- Infinite trees and completely iterative theories: A coalgebraic view
- Completely iterative algebras and completely iterative monads
- Terminal coalgebras and free iterative theories
- A fixpoint theorem for complete categories
- Coequalizers and free triples
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract)
- Iterative algebras at work
- What Are Iteration Theories?
- Iterative reflections of monads
- Traced monoidal categories
- Semantics of Higher-Order Recursion Schemes
- Parametric corecursion
