On Coalgebras over Algebras

DOI10.1016/j.entcs.2010.07.013zbMath1247.68171arXiv1005.0938OpenAlexW2157619640MaRDI QIDQ2919449

Alexander Kurz, Adriana Balan

Publication date: 2 October 2012

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

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

zbMATH Keywords

coalgebraalgebras over a monad

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (1)

On coalgebras over algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the final sequence of a finitary set functor
• Solving reflexive domain equations in a category of complete metric spaces
• Algebraically compact functors
• Semantics of weakening and contraction
• On final coalgebras of continuous functors
• Terminal coalgebras in well-founded set theory
• Complete Iterativity for Algebras with Effects
• A Note on Expressive Coalgebraic Logics for Finitary Set Functors
• The Category-Theoretic Solution of Recursive Domain Equations
• Adjoint Lifting Theorems for Categories of Algebras
• Final Coalgebras are Ideal Completions of Initial Algebras

This page was built for publication: On Coalgebras over Algebras