On the greatest fixed point of a set functor
From MaRDI portal
Publication:672316
DOI10.1016/0304-3975(95)00011-KzbMath0874.18001MaRDI QIDQ672316
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
signature; terminal coalgebra; metric completion; CPO-completion; finite iterations; greatest fixed point of set functor
06A06: Partial orders, general
68Q55: Semantics in the theory of computing
18A35: Categories admitting limits (complete categories), functors preserving limits, completions
18B05: Categories of sets, characterizations
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, A Coalgebraic View of Infinite Trees and Iteration, From Varieties of Algebras to Covarieties of Coalgebras, Indexed containers, Realization of Coinductive Types, On the final sequence of a finitary set functor, Presenting functors on many-sorted varieties and applications, A compositional approach to defining logics for coalgebras, Category theory for operational semantics, The category-theoretic solution of recursive program schemes, On final coalgebras of continuous functors, Infinite trees and completely iterative theories: A coalgebraic view, A small final coalgebra theorem, Domain theory, testing and simulation for labelled Markov processes, A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, Structural operational semantics for continuous state stochastic transition systems, Algebraic-coalgebraic specification in CoCASL, On final coalgebras of power-set functors and saturated trees, Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic, Towards coalgebraic behaviourism, On Iteratable Endofunctors, Functorial Coalgebraic Logic: The Case of Many-sorted Varieties, Initial algebras and terminal coalgebras in many-sorted sets
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Least fixed point of a functor
- Categorical constructions of free algebras, colimits, and completions of partial algebras
- Terminal coalgebras in well-founded set theory
- A fixpoint theorem for complete categories
- Completions of Partially Ordered Sets
- The Category-Theoretic Solution of Recursive Domain Equations