On tree coalgebras and coalgebra presentations
From MaRDI portal
Publication:1884936
DOI10.1016/S0304-3975(03)00378-5zbMath1086.68088OpenAlexW2153593057MaRDI QIDQ1884936
Publication date: 27 October 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(03)00378-5
Coalgebras\(\lambda\)-presentable objects and categories\(\Sigma\)-labelled treesAccessible and bounded functors
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Accessible and locally presentable categories (18C35)
Related Items (26)
Rational operational models ⋮ Fixed points of set functors: how many iterations are needed? ⋮ The category-theoretic solution of recursive program schemes ⋮ On Finitary Functors ⋮ On universal categories of coalgebras ⋮ Unnamed Item ⋮ Combinatorial and accessible weak model categories ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ Coequational logic for accessible functors ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generalized Eilenberg Theorem ⋮ On functors preserving coproducts and algebras with iterativity ⋮ On coalgebra based on classes ⋮ The coalgebraic enrichment of algebras in higher categories ⋮ Some facets of Horn covarieties in a category ⋮ From Grammars and Automata to Algebras and Coalgebras ⋮ Limits and colimits of Hopf algebras ⋮ Algebraic lattices and locally finitely presentable categories ⋮ Terminal coalgebras and free iterative theories ⋮ How accessible are categories of algebras? ⋮ Distributive laws for monotone specifications ⋮ A logic of implications in algebra and coalgebra ⋮ Hopf and Lie algebras in semi-additive Varieties ⋮ Coequational Logic for Finitary Functors
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A small final coalgebra theorem
- Universal coalgebra: A theory of systems
- On abstract data types presented by multiequations
- How accessible are categories of algebras?
- Terminal coalgebras in well-founded set theory
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Accessible Categories: The Foundations of Categorical Model Theory
- On varieties and covarieties in a category
- From Varieties of Algebras to Covarieties of Coalgebras
- A final coalgebra theorem
This page was built for publication: On tree coalgebras and coalgebra presentations