Deriving Dualities in Pointfree Topology from Priestley Duality

被引:1
作者
Bezhanishvili, G. [1 ]
Melzer, S. [1 ]
机构
[1] New Mexico State Univ, Dept Math Sci, Las Cruces, NM 88003 USA
关键词
Pointfree topology; Spatial frame; Continuous frame; Stably compact frame; Compact regular frame; Sober space; Locally compact space; Stably compact space; Compact Hausdorff space; Priestley duality; COVER;
D O I
10.1007/s10485-023-09739-8
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
There are several prominent duality results in pointfree topology. Hofmann-Lawson duality establishes that the category of continuous frames is dually equivalent to the category of locally compact sober spaces. This restricts to a dual equivalence between the categories of stably continuous frames and stably locally compact spaces, which further restricts to Isbell duality between the categories of compact regular frames and compact Hausdorff spaces. We show how to derive these dualities from Priestley duality for distributive lattices, thus shedding new light on these classic results.
引用
收藏
页数:28
相关论文
共 40 条
[31]   Distributive bilattices from the perspective of natural duality theory [J].
L. M. Cabrer ;
H. A. Priestley .
Algebra universalis, 2015, 73 :103-141
[32]   Distributive bilattices from the perspective of natural duality theory [J].
Cabrer, L. M. ;
Priestley, H. A. .
ALGEBRA UNIVERSALIS, 2015, 73 (02) :103-141
[33]   FROM KLEISLI CATEGORIES TO COMMUTATIVE C*-ALGEBRAS: PROBABILISTIC GELFAND DUALITY [J].
Furber, Robert ;
Jacobs, Bart .
LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (02)
[34]   Structure from appearance: topology with shapes, without points [J].
Charidis, Alexandros .
JOURNAL OF MATHEMATICS AND THE ARTS, 2020, 14 (03) :199-238
[35]   Deriving state-and-transition models from an image series of grassland pattern dynamics [J].
Sadler, Rohan J. ;
Hazelton, Martin ;
Boer, Matthias M. ;
Grierson, Pauline F. .
ECOLOGICAL MODELLING, 2010, 221 (03) :433-444
[36]   Deriving Snow Depth From ICESat-2 Lidar Multiple Scattering Measurements [J].
Hu, Yongxiang ;
Lu, Xiaomei ;
Zeng, Xubin ;
Stamnes, Snorre A. ;
Neuman, Thomas A. ;
Kurtz, Nathan T. ;
Zhai, Pengwang ;
Gao, Meng ;
Sun, Wenbo ;
Xu, Kuanman ;
Liu, Zhaoyan ;
Omar, Ali H. ;
Baize, Rosemary R. ;
Rogers, Laura J. ;
Mitchell, Brandon O. ;
Stamnes, Knut ;
Huang, Yuping ;
Chen, Nan ;
Weimer, Carl ;
Lee, Jennifer ;
Fair, Zachary .
FRONTIERS IN REMOTE SENSING, 2022, 3
[37]   Deriving Water Fraction and Flood Maps From MODIS Images Using a Decision Tree Approach [J].
Sun, Donglian ;
Yu, Yunyue ;
Goldberg, Mitchell D. .
IEEE JOURNAL OF SELECTED TOPICS IN APPLIED EARTH OBSERVATIONS AND REMOTE SENSING, 2011, 4 (04) :814-825
[38]   Deriving Snow Depth From ICESat-2 Lidar Multiple Scattering Measurements: Uncertainty Analyses [J].
Lu, Xiaomei ;
Hu, Yongxiang ;
Zeng, Xubin ;
Stamnes, Snorre A. ;
Neuman, Thomas A. ;
Kurtz, Nathan T. ;
Yang, Yuekui ;
Zhai, Peng-Wang ;
Gao, Meng ;
Sun, Wenbo ;
Xu, Kuanman ;
Liu, Zhaoyan ;
Omar, Ali H. ;
Baize, Rosemary R. ;
Rogers, Laura J. ;
Mitchell, Brandon O. ;
Stamnes, Knut ;
Huang, Yuping ;
Chen, Nan ;
Weimer, Carl ;
Lee, Jennifer ;
Fair, Zachary .
FRONTIERS IN REMOTE SENSING, 2022, 3
[39]   Deriving Antarctic Sea-Ice Thickness From Satellite Altimetry and Estimating Consistency for NASA's ICESat/ICESat-2 Missions [J].
Xu, Yue ;
Li, Huan ;
Liu, Baojian ;
Xie, Hongjie ;
Ozsoy-Cicek, Burcu .
GEOPHYSICAL RESEARCH LETTERS, 2021, 48 (20)
[40]   Soil management and production of alfisols in the semi-arid tropics .2. Deriving USDA curve numbers from rainfall simulator data [J].
Littleboy, M ;
Sachan, RC ;
Smith, GD ;
Cogle, AL .
AUSTRALIAN JOURNAL OF SOIL RESEARCH, 1996, 34 (01) :103-111