The following pages link to Sober metric approach spaces (Q1680134):
Displaying 7 items.
- Constructing the sobrification of an approach space via bicompletion (Q949866) (← links)
- Scott approach distance on metric spaces (Q1794283) (← links)
- Sober approach spaces are firmly reflective for the class of epimorphic embeddings (Q2432578) (← links)
- Sober approach spaces (Q2508928) (← links)
- Convergence and quantale-enriched categories (Q4553296) (← links)
- A Hofmann-Mislove theorem for approach spaces (Q5872365) (← links)
- Formal balls of Q-categories (Q5889203) (← links)