G N ] 4 N ov 2 02 1 Hofmann-Mislove theorem for approach spaces

Junche Yu,Dexue Zhang
2021-01-01
Abstract:The Hofmann-Mislove theorem says that compact saturated sets of a sober topological space correspond bijectively to open filters of its open set lattice. This paper concerns an analogy of this result for approach spaces. To this end, the notion of compact functions of approach spaces is introduced. Such functions are an analogue of compact subsets in the enriched context. It is shown that for a sober approach space, the inhabited and saturated compact functions correspond bijectively to the proper open [0,∞]-filters of the metric space of its upper regular functions, which is an analogy of the Hofmann-Mislove theorem for approach spaces.
What problem does this paper attempt to address?