Coalgebraic monads

DOI10.1016/S1571-0661(04)80360-8MaRDI QIDQ2842553zbMATH OpenOpenAlexFDO

Authors Neil Ghani, Christoph Lüth, Federico De Marchi

Publication date 15 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80360-8

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Functional programming and lambda calculus (68N18)

Recommendations

• Monads of coalgebras: rational terms and term graphs
• Universal coalgebra: A theory of systems
• Infinite trees and completely iterative theories: A coalgebraic view
• A coalgebraic view of infinite trees and iteration
• Algebras, coalgebras, monads and comonads

Cites work

• A coalgebraic view of infinite trees and iteration
• A presentation of topoi as algebraic relative to categories or graphs
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Algebras, coalgebras, monads and comonads
• Free iterative theories: a coalgebraic view
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1086712 (Why is no real title available?)
• scientific article; zbMATH DE number 1086713 (Why is no real title available?)
• scientific article; zbMATH DE number 1393359 (Why is no real title available?)
• Introduction to extensive and distributive categories
• On the algebraic structure of rooted trees
• Parametric corecursion

Cited in

(16)

• The Isbell monad
• Categories of coalgebras with monadic homomorphisms
• Composing monads using coproducts
• scientific article; zbMATH DE number 7449991 (Why is no real title available?)
• scientific article; zbMATH DE number 4009834 (Why is no real title available?)
• scientific article; zbMATH DE number 1314224 (Why is no real title available?)
• Dualising initial algebras
• Solving Algebraic Equations Using Coalgebra
• Generalizing Substitution
• Coproducts of Ideal Monads
• scientific article; zbMATH DE number 2087341 (Why is no real title available?)
• Algebras, coalgebras, monads and comonads
• Quotients in monadic programming: projective algebras are equivalent to coalgebras
• Monads of coalgebras: rational terms and term graphs
• Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
• Substitution in non-wellfounded syntax with variable binding

This page was built for publication: Coalgebraic monads

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