Pages that link to "Item:Q1398459"
From MaRDI portal
The following pages link to On final coalgebras of continuous functors (Q1398459):
Displaying 14 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- On the final sequence of a finitary set functor (Q557796) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra (Q5418960) (← links)
- Realization of Coinductive Types (Q5739360) (← links)