Corecursive algebras, corecursive monads and Bloom monads

DOI10.2168/LMCS-10(3:19)2014MaRDI QIDQ2921116zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Mahdie Haddadi, Stefan Milius

Publication date 30 September 2014

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-10(3:19)2014

zbMATH Keywords

Bloom monadscorecursive algebracorecursive monadsiteration theory

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Abstract data types; algebraic specification (68Q65)

Recommendations

• From corecursive algebras to corecursive monads
• Completely iterative algebras and completely iterative monads
• On corecursive algebras for functors preserving coproducts
• Corecursive algebras: a study of general structured corecursion
• Elgot algebras (extended abstract)

Cited in

(10)

• On functors preserving coproducts and algebras with iterativity
• Coreflectivity of \(E\)-monads and algebraic hulls
• From corecursive algebras to corecursive monads
• Corecursive algebras: a study of general structured corecursion
• On corecursive algebras for functors preserving coproducts
• Proper functors and fixed points for finite behaviour
• A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
• A coalgebraic take on regular and -regular behaviours
• The Sierpinski carpet as a final coalgebra
• The Sierpinski carpet as a final coalgebra

This page was built for publication: Corecursive algebras, corecursive monads and Bloom monads

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