A small final coalgebra theorem
From MaRDI portal
Publication:1575951
DOI10.1016/S0304-3975(97)00302-2zbMath0952.68101OpenAlexW1968710902WikidataQ127564727 ScholiaQ127564727MaRDI QIDQ1575951
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
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
This page was built for publication: A small final coalgebra theorem