Terminal coalgebras in well-founded set theory
From MaRDI portal
Publication:2367542
DOI10.1016/0304-3975(93)90076-6zbMath0779.18004OpenAlexW2081620669MaRDI QIDQ2367542
Publication date: 18 January 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90076-6
Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)
Related Items
Infinitary lambda calculus and discrimination of Berarducci trees., A Note on Hyperspaces and Terminal Coalgebras, μ-Bicomplete Categories and Parity Games, An institution of modal logics for coalgebras, Algebraic-coalgebraic specification in CoCASL, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, On tree coalgebras and coalgebra presentations, De Bakker-Zucker processes revisited, Quotients of Bounded Natural Functors, The Burnside algebra of a quasigroup., Relation lifting, a survey, Recursively defined metric spaces without contraction, Infinitary rewriting: closure operators, equivalences and models, Convenient category of processes and simulations I: Modulo strong bisimilarity, Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence, Structural Operational Semantics for Weighted Transition Systems, Fixed points of set functors: how many iterations are needed?, Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets, On Coalgebras over Algebras, The category-theoretic solution of recursive program schemes, Structural operational semantics for stochastic and weighted transition systems, Terminal metric spaces of finitely branching and image finite linear processes, A fixpoint approach to finite delay and fairness, Convergence in infinitary term graph rewriting systems is simple, The p-adic Integers as Final Coalgebra, Trees and semantics, Semantics for finite delay, Coalgebraic constructions of canonical nondeterministic automata, Complete sets of cooperations, A concrete final coalgebra theorem for ZF set theory, On final coalgebras of continuous functors, Infinite trees and completely iterative theories: A coalgebraic view, A general theory of self-similarity, Fundamental constructions for coalgebras, corings, and comodules., A coalgebraic perspective on linear weighted automata, CHAD for expressive total languages, Unnamed Item, Unnamed Item, Recursive coalgebras of finitary functors, Resource bisimilarity and graded bisimilarity coincide, Unnamed Item, On coalgebras over algebras, Coalgebraic semantics of modal logics: an overview, Relatively terminal coalgebras, A description based on languages of the final non-deterministic automaton, Unnamed Item, A quantified coalgebraic van Benthem theorem, Coinduction in Flow: The Later Modality in Fibrations, How to Reason Coinductively Informally, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, Traces for coalgebraic components, Initial algebras and terminal coalgebras in many-sorted sets, On the greatest fixed point of a set functor, Structural operational semantics for non-deterministic processes with quantitative aspects, A simplification functor for coalgebras, From Grammars and Automata to Algebras and Coalgebras, Expressivity of coalgebraic modal logic: the limits and beyond, A Coalgebraic View of Infinite Trees and Iteration, From Varieties of Algebras to Covarieties of Coalgebras, Algebras, Coalgebras, Monads and Comonads, Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra, Algebraically compact functors, The construction of cofree coalgebras, Realization of Coinductive Types, Transitivity and Difunctionality of Bisimulations, Equational and implicational classes of coalgebras, On the structure of categories of coalgebras, From modal logic to terminal coalgebras, On the final sequence of a finitary set functor, A formal abstract framework for modelling and testing complex software systems, Unnamed Item, Hausdorff coalgebras, A modal proof theory for final polynomial coalgebras, Processes as formal power series: a coinductive approach to denotational semantics, Two applications of analytic functors, On final coalgebras of power-set functors and saturated trees, Unnamed Item, Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\), The graph conception of set, A coalgebraic view on reachability, A hidden agenda, A small final coalgebra theorem, Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic, Coalgebraic logic, Limits in categories of Vietoris coalgebras, Universal coalgebra: A theory of systems, Bisimulation for probabilistic transition systems: A coalgebraic approach, Final coalgebras and the Hennessy-Milner property, From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference, On finitary functors and their presentations, Structural operational semantics for continuous state stochastic transition systems, Saturated Kripke structures as Vietoris coalgebras, Coalgebraic Modal Logic Beyond Sets, Additions and corrections to ``Terminal coalgebras in well-founded set theory, Observational Coalgebras and Complete Sets of Co-operations, Final semantics for a higher order concurrent language
Cites Work
