Iterative algebras for a base

zbMATH Open1272.68281MaRDI QIDQ2849883FDOQ2849883

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

Recommendations

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

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)

Cited In (8)

• On functors preserving coproducts and algebras with iterativity
• Extensions of iterative congruences of free iterative algebras
• Title not available (Why is that?)
• Complete Elgot monads and coalgebraic resumptions
• Bases for parametrized iterativity
• Algebras with parametrized iterativity
• Iterative algebras: how iterative are they?
• How iterative are iterative algebras?

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)