On coalgebras over algebras

DOI10.1016/j.tcs.2011.03.021zbMath1232.68089OpenAlexW3152297735MaRDI QIDQ639641

Adriana Balan, Alexander Kurz

Publication date: 22 September 2011

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.03.021

zbMATH Keywords

coalgebrasalgebras over a monad

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)

Related Items (3)

Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ Trace semantics via determinization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Are colimits of algebras simple to construct?
• Algebraically compact functors
• Semantics of weakening and contraction
• On final coalgebras of continuous functors
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Terminal coalgebras in well-founded set theory
• Distributive laws for the coinductive solution of recursive equations
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Complete Iterativity for Algebras with Effects
• On Coalgebras over Algebras
• 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