This website requires JavaScript.

Hofmann-Mislove theorem for approach spaces

Junche YuDexue Zhang
摘要
The Hofmann-Mislove theorem says that compact saturated sets of a sobertopological space correspond bijectively to open filters of its open setlattice. This paper concerns an analogy of this result for approach spaces. Tothis end, the notion of compact functions of approach spaces is introduced.Such functions are an analogue of compact subsets in the enriched context. Itis shown that for a sober approach space, the inhabited and saturated compactfunctions correspond bijectively to the proper open $[0,\infty]$-filters of themetric space of its upper regular functions, which is an analogy of theHofmann-Mislove theorem for approach spaces.
展开全部
图表提取

暂无人提供速读十问回答

论文十问由沈向洋博士提出,鼓励大家带着这十个问题去阅读论文,用有用的信息构建认知模型。写出自己的十问回答,还有机会在当前页面展示哦。

Q1论文试图解决什么问题?
Q2这是否是一个新的问题?
Q3这篇文章要验证一个什么科学假设?
0
被引用
笔记
问答