Iterative algebras for a base

MaRDI QIDQ2849883zbMATH OpenFDO

Authors Jiří Adámek, Stefan Milius, Jiří Velebil

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610500037X

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Bases for parametrized iterativity
• Free iterative theories: a coalgebraic view
• Algebras with parametrized iterativity
• Iterative algebras at work
• How iterative are iterative algebras?

Cited in

(8)

• Bases for parametrized iterativity
• Extensions of iterative congruences of free iterative algebras
• How iterative are iterative algebras?
• scientific article; zbMATH DE number 6740664 (Why is no real title available?)
• On functors preserving coproducts and algebras with iterativity
• Iterative algebras: how iterative are they?
• Algebras with parametrized iterativity
• Complete Elgot monads and coalgebraic resumptions

This page was built for publication: Iterative algebras for a base

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