Pages that link to "Item:Q2843736"
From MaRDI portal
The following pages link to Logical construction of final coalgebras (Q2843736):
Displaying 17 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Non-well-founded trees in categories (Q876383) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Isomorphism theorems for coalgebras (Q2272535) (← links)
- Comprehension for coalgebras (Q2842555) (← links)
- Properties of set functors (Q2847778) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Higher-order algebras and coalgebras from parameterized endofunctors (Q2919455) (← links)
- A Note on Expressive Coalgebraic Logics for Finitary Set Functors (Q3056299) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces (Q4236207) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- A final coalgebra theorem (Q5096269) (← links)
- Realization of Coinductive Types (Q5739360) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)
- A concrete final coalgebra theorem for ZF set theory (Q6061877) (← links)