Algebras, Coalgebras, Monads and Comonads

DOI10.1016/S1571-0661(04)80905-8zbMath1260.68238OpenAlexW2030830197MaRDI QIDQ4917035

Neil Ghani, Christoph Lüth, Federico De Marchi, A. John Power

Publication date: 26 April 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)80905-8

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) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (12)

The coinductive resumption monad ⋮ Lawvere theories enriched over a general base ⋮ Doctrines, modalities and comonads ⋮ Recursive Program Schemes and Context-Free Monads ⋮ The category-theoretic solution of recursive program schemes ⋮ Turing-Completeness Totally Free ⋮ Equational properties of iterative monads ⋮ Infinite trees and completely iterative theories: A coalgebraic view ⋮ On second-order iterative monads ⋮ Unnamed Item ⋮ Solving Algebraic Equations Using Coalgebra ⋮ Coalgebraic Monads

Cites Work

• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Variations on algebra: Monadicity and generalisations of equational theories
• A presentation of topoi as algebraic relative to categories or graphs
• Coalgebraic logic
• On final coalgebras of continuous functors
• The generic approximation lemma
• Terminal coalgebras in well-founded set theory
• Elementary observations on 2-categorical limits
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Accessible Categories: The Foundations of Categorical Model Theory
• A Coalgebraic View of Infinite Trees and Iteration
• Compositional term rewriting: An algebraic proof of Toyama's theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebras, Coalgebras, Monads and Comonads