The following pages link to (Q4551182):
Displaying 13 items.
- Isbell conjugacy and the reflexive completion (Q5004671) (← links)
- (Q5004673) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- Lax orthogonal factorisations in ordered structures (Q5121790) (← links)
- (Q5158003) (← links)
- Higher Interpolation and Extension for Persistence Modules (Q5283248) (← links)
- Simulation Hemi-metrics between Infinite-State Stochastic Games (Q5458350) (← links)
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (Q5855747) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad (Q6605363) (← links)
- Schur functors and categorified plethysm (Q6617075) (← links)
- Homotopical models for metric spaces and completeness (Q6631560) (← links)