A small final coalgebra theorem

DOI10.1016/S0304-3975(97)00302-2zbMath0952.68101OpenAlexW1968710902WikidataQ127564727 ScholiaQ127564727MaRDI QIDQ1575951

Yasuo Kawahara, Masao Mori

Publication date: 23 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00302-2

zbMATH Keywords

final coalgebras

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50) Categories of algebras (08C05)

Related Items (max. 100)

On tree coalgebras and coalgebra presentations ⋮ On Finitary Functors ⋮ On universal categories of coalgebras ⋮ Universality of categories of coalgebras ⋮ A simplification functor for coalgebras ⋮ Coalgebras for Binary Methods: Properties of Bisimulations and Invariants ⋮ From Varieties of Algebras to Covarieties of Coalgebras ⋮ On the final sequence of a finitary set functor ⋮ A modal proof theory for final polynomial coalgebras ⋮ Universal coalgebra: A theory of systems ⋮ Final coalgebras and the Hennessy-Milner property

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the greatest fixed point of a set functor
• On graph rewritings
• Terminal coalgebras in well-founded set theory
• A final coalgebra theorem
• Relational structures and their partial morphisms in view of single pushout rewriting

This page was built for publication: A small final coalgebra theorem