摘要
We characterise compact locales in terms of nearly perfect maps. We show in particular that these maps are the natural pointfree version of Bourbaki's proper maps - when defined via any ultrafilter - and that they extend Herrlich's notion of nearly closed sublocales [10].
- 出版日期2017