Elgot theories: a new perspective on the equational properties of iteration
From MaRDI portal
Publication:3005993
DOI10.1017/S0960129510000496zbMATH Open1222.18002OpenAlexW2116965870MaRDI QIDQ3005993FDOQ3005993
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Infinite trees and completely iterative theories: A coalgebraic view
- Completely iterative algebras and completely iterative monads
- Coequalizers and free triples
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Iterative algebras at work
- Traced monoidal categories
- Introduction to extensive and distributive categories
- On the algebraic structure of rooted trees
- Parametric corecursion
- Regular trees and the free iterative theory
- Terminal coalgebras and free iterative theories
- A fixpoint theorem for complete categories
- Unique fixed points vs. least fixed points
- Iterative reflections of monads
- Iterative algebras
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Recursion and corecursion have the same equational logic
- Elgot theories: a new perspective of iteration theories (extended abstract)
- What Are Iteration Theories?
- Equational properties of iterative monads
- On the monadicity of finitary monads
- Semantics of Higher-Order Recursion Schemes
- Independence of the equational axioms for iteration theories
Cited In (10)
- Title not available (Why is that?)
- Unguarded recursion on coinductive resumptions
- Complete Elgot monads and coalgebraic resumptions
- Title not available (Why is that?)
- Iteration and labelled iteration
- Title not available (Why is that?)
- Unifying Guarded and Unguarded Iteration
- A new foundation for finitary corecursion and iterative algebras
- A New Foundation for Finitary Corecursion
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
This page was built for publication: Elgot theories: a new perspective on the equational properties of iteration
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3005993)
