Pages that link to "Item:Q1398459"
From MaRDI portal
The following pages link to On final coalgebras of continuous functors (Q1398459):
Displaying 23 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)
- The continuum as a final coalgebra (Q1603817) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Continuous functions on final coalgebras (Q2805147) (← links)
- Continuous functions on final coalgebras (Q2863899) (← links)
- On coalgebras over algebras (Q2919449) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- Final Coalgebras are Ideal Completions of Initial Algebras (Q4542236) (← 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)
- A structural co-induction theorem (Q5890042) (← links)
