A small final coalgebra theorem
From MaRDI portal
Categories of algebras (08C05) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites work
- A final coalgebra theorem
- scientific article; zbMATH DE number 42735 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- On graph rewritings
- On the greatest fixed point of a set functor
- Relational structures and their partial morphisms in view of single pushout rewriting
- Terminal coalgebras in well-founded set theory
Cited in
(15)- Small cofinite irreducibles
- Universal coalgebra: A theory of systems
- On tree coalgebras and coalgebra presentations
- A simplification functor for coalgebras
- A modal proof theory for final polynomial coalgebras
- Final coalgebras and the Hennessy-Milner property
- Coalgebras for binary methods: Properties of bisimulations and invariants
- Final coalgebras in accessible categories
- Universality of categories of coalgebras
- From varieties of algebras to covarieties of coalgebras
- On finitary functors
- On the final sequence of a finitary set functor
- A concrete final coalgebra theorem for ZF set theory
- On universal categories of coalgebras
- On two new types of Moore subcategories
This page was built for publication: A small final coalgebra theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575951)
