On tree coalgebras and coalgebra presentations

DOI10.1016/S0304-3975(03)00378-5zbMath1086.68088OpenAlexW2153593057MaRDI QIDQ1884936

Jiří Adámek, Hans-E. Porst

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

zbMATH Keywords

Coalgebras\(\lambda\)-presentable objects and categories\(\Sigma\)-labelled treesAccessible and bounded functors

Mathematics Subject Classification ID

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