Iterative algebras: how iterative are they?

MaRDI QIDQ5454623zbMATH OpenFDO

Authors Jiří Adámek, Reinhard Börger, Stefan Milius, Jiří Velebil

Publication date 31 March 2008

Full work available at URL https://eudml.org/doc/128939, http://www.emis.de/journals/TAC/volumes/19/5/19-05abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

extensive categoryguarded equationiterative algebrastrict solution

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Abstract data types; algebraic specification (68Q65)

Recommendations

• How iterative are iterative algebras?
• On Algebras with Iteration
• Iterative algebras
• Elgot algebras (extended abstract)
• Iterative algebras for a base

Cited in

(19)

• Algebraic and fixed point equations over inverse limits of algebras
• On functors preserving coproducts and algebras with iterativity
• Complete Elgot monads and coalgebraic resumptions
• Fixed points in free process algebras. I
• Approximate coalgebra homomorphisms and approximate solutions
• Elgot theories: a new perspective of iteration theories (extended abstract)
• How iterative are iterative algebras?
• scientific article; zbMATH DE number 3847366 (Why is no real title available?)
• On Algebras with Iteration
• A Description of Iterative Reflections of Monads (Extended Abstract)
• scientific article; zbMATH DE number 139634 (Why is no real title available?)
• scientific article; zbMATH DE number 1543319 (Why is no real title available?)
• Unguarded recursion on coinductive resumptions
• Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
• Unguarded recursion on coinductive resumptions
• Equational properties of iterative monads
• Uniform Elgot iteration in foundations
• Iterative algebras
• Iterative factor algebras and induced metrics

This page was built for publication: Iterative algebras: how iterative are they?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5454623)