The following pages link to Enriched logical connections (Q2392097):
Displaying 5 items.
- Natural duality, modality, and coalgebra (Q418910) (← links)
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation (Q3178292) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- Quasivarieties and varieties of ordered algebras: regularity and exactness (Q5361148) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)
