Corecursive Algebras, Corecursive Monads and Bloom Monads

DOI10.2168/LMCS-10(3:19)2014zbMath1341.68121OpenAlexW2043123725MaRDI QIDQ2921116

Stefan Milius, M. Haddadi, Jiří Adámek

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

iteration theorycorecursive algebraBloom monadscorecursive monads

Mathematics Subject Classification ID

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

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On functors preserving coproducts and algebras with iterativity

This page was built for publication: Corecursive Algebras, Corecursive Monads and Bloom Monads