The following pages link to A general final coalgebra theorem (Q5462661):
Displaying 8 items.
- Relation lifting, a survey (Q299182) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- (Q3558369) (← links)
- Final Coalgebras are Ideal Completions of Initial Algebras (Q4542236) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- A concrete final coalgebra theorem for ZF set theory (Q6061877) (← links)