Elgot theories: a new perspective of iteration theories (extended abstract)
From MaRDI portal
Publication:2805168
DOI10.1016/J.ENTCS.2009.07.100zbMATH Open1338.18017OpenAlexW2095080592MaRDI QIDQ2805168FDOQ2805168
Authors: Jiří Adámek, Stefan Milius, Jiří Velebil 
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Iterative algebras at work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Elgot Algebras
- On the algebraic structure of rooted trees
- Regular trees and the free iterative theory
- Terminal coalgebras and free iterative theories
- Title not available (Why is that?)
- Iterative reflections of monads
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Recursion and corecursion have the same equational logic
- What Are Iteration Theories?
- Iterative algebras: how iterative are they?
- Equational properties of iterative monads
- The uniformity principle on traced monoidal categories
Cited In (4)
This page was built for publication: Elgot theories: a new perspective of iteration theories (extended abstract)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805168)
