论文标题
Grätzer-Hofmann-Lawson-Jung-Sünderhauf二元性
Grätzer-Hofmann-Lawson-Jung-Sünderhauf Duality
论文作者
论文摘要
由于Grätzer，Hoffman-Lawson和Jung-Sünderhauf，我们统一了经典石头双重性的几个扩展。具体而言，我们表明，局部紧凑的清醒空间的U-Base是双向<<-Distribnity V-Predomain的双重，其中<是代表紧凑型遏制的及物关系。
We unify several extensions of the classic Stone duality due to Grätzer, Hoffman-Lawson and Jung-Sünderhauf. Specifically we show that U-bases of locally compact sober spaces are dual to <-distributive v-predomains, where < is a transitive relation representing compact containment.
