Coalgebraic Monads

DOI10.1016/S1571-0661(04)80360-8zbMath1270.18011OpenAlexW4251591036MaRDI QIDQ2842553

Neil Ghani, Federico De Marchi, Christoph Lüth

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

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

Related Items (4)

Coproducts of Ideal Monads ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ Solving Algebraic Equations Using Coalgebra ⋮ Generalizing Substitution

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• A presentation of topoi as algebraic relative to categories or graphs
• Fundamental properties of infinite trees
• Introduction to extensive and distributive categories
• On the algebraic structure of rooted trees
• Free iterative theories: a coalgebraic view
• A Coalgebraic View of Infinite Trees and Iteration
• Algebras, Coalgebras, Monads and Comonads
• Parametric corecursion

This page was built for publication: Coalgebraic Monads