From corecursive algebras to corecursive monads

DOI10.1007/978-3-642-22944-2_5MaRDI QIDQ3090860zbMATH OpenOpenAlexFDO

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

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.4425

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20)

Abstract: An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras. The monad of free corecursive algebras is proved to be the free corecursive monad, where the concept of corecursive monad is a generalization of Elgot's iterative monads, analogous to corecursive algebras generalizing completely iterative algebras. We also characterize the Eilenberg-Moore algebras for the free corecursive monad and call them Bloom algebras.

Recommendations

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

Cited in

(9)

• The superextension monad and its algebras
• Coreflectivity of \(E\)-monads and algebraic hulls
• Algebraic presentation of semifree monads
• Corecursive algebras, corecursive monads and Bloom monads
• scientific article; zbMATH DE number 7449991 (Why is no real title available?)
• Corecursive algebras: a study of general structured corecursion
• scientific article; zbMATH DE number 1231629 (Why is no real title available?)
• On corecursive algebras for functors preserving coproducts
• scientific article; zbMATH DE number 7774244 (Why is no real title available?)

This page was built for publication: From corecursive algebras to corecursive monads

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