论文标题
从Priestley二重性中获取二元性二元性
Deriving dualities in pointfree topology from Priestley duality
论文作者
论文摘要
无点拓扑中有几种突出的双重性结果。 Hofmann-Lawson二重性确定连续帧的类别双重等同于当地紧凑的清醒空间的类别。这限制了稳定连续帧的类别与稳定的局部紧凑空间之间的双重等效性,这进一步限制了紧凑的常规框架和紧凑的Hausdorff空间之间的ISBELL二元性。我们展示了如何从Priestley二重性中得出这些二重性的分布晶格,从而为这些经典结果提供了新的启示。
There are several prominent duality results in pointfree topology. The 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.