Final Coalgebras are Ideal Completions of Initial Algebras

DOI10.1093/logcom/12.2.217zbMath1003.18009OpenAlexW2079452454MaRDI QIDQ4542236

Jiří Adámek

Publication date: 14 January 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/12.2.217

zbMATH Keywords

locally finitely presentable categoryfinal coalgebraideal completioninitial algebracomplete partial order

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categorical semantics of formal languages (18C50)

Related Items

Coalgebraic Representation Theory of Fractals ⋮ On Coalgebras over Algebras ⋮ Unnamed Item ⋮ On coalgebras over algebras ⋮ Unnamed Item ⋮ From Grammars and Automata to Algebras and Coalgebras ⋮ Simulations in coalgebra ⋮ Terminal coalgebras and free iterative theories ⋮ Processes as formal power series: a coinductive approach to denotational semantics ⋮ Solving Algebraic Equations Using Coalgebra