The following pages link to A small final coalgebra theorem (Q1575951):
Displaying 12 items.
- Universality of categories of coalgebras (Q409255) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- On universal categories of coalgebras (Q607458) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- A simplification functor for coalgebras (Q2469042) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- From Varieties of Algebras to Covarieties of Coalgebras (Q4917031) (← links)
- On Finitary Functors (Q5243045) (← links)
