Pages that link to "Item:Q3090863"
From MaRDI portal
The following pages link to Finitary Functors: From Set to Preord and Poset (Q3090863):
Displaying 8 items.
- A general account of coinduction up-to (Q523132) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
