Elgot theories: a new perspective of iteration theories (extended abstract)

DOI10.1016/J.ENTCS.2009.07.100MaRDI QIDQ2805168zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

iteration theoryiterative algebraElgot theoryrational monad

Mathematics Subject Classification ID

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

Recommendations

• Elgot theories: a new perspective on the equational properties of iteration
• Equational properties of iterative monads
• scientific article; zbMATH DE number 4197440
• What Are Iteration Theories?
• Elgot algebras (extended abstract)

Cites work

• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 233974 (Why is no real title available?)
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Elgot Algebras
• Equational properties of iterative monads
• Iterative algebras at work
• Iterative algebras: how iterative are they?
• Iterative reflections of monads
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On the algebraic structure of rooted trees
• Recursion and corecursion have the same equational logic
• Regular trees and the free iterative theory
• Terminal coalgebras and free iterative theories
• The uniformity principle on traced monoidal categories
• What Are Iteration Theories?

Cited in

(4)

• From coalgebraic to monoidal traces
• Equational logic of circular data type specification
• Equational properties of iterative monads
• Elgot theories: a new perspective on the equational properties of iteration

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)