...
首页> 外文期刊>Electronic Notes in Theoretical Computer Science >Lattices of Irreducibly-derived Closed Sets
【24h】

Lattices of Irreducibly-derived Closed Sets

机译:不可约衍生闭集格

获取原文
           

摘要

This paper pursues an investigation on the lattices of irreducibly-derived closed sets initiated by Zhao and Ho (2015). This time we focus the closed set lattice arising from the irreducibly-derived topology of Scott topology. For a posetX, the setΓSI(X)of all irreducibly-derived Scott-closed sets (for short,SI-closed sets) ordered by inclusion forms a complete lattice. We introduce the notions ofCSI-continuous posets andCSI-prealgebraic posets and study their properties. We also introduce theSI-dominated posets and show that for any twoSI-dominated posetsXandY,X?Yif and only if theSI-closed set lattices above them are isomorphic. At last, we show that the category of strong complete posets withSI-continuous maps is Cartesian-closed.
机译:本文对Zhao和Ho(2015)发起的不可约衍生闭集的格进行了研究。这次,我们重点讨论源自Scott拓扑的不可约派拓扑的封闭集格。对于位姿X,所有不可归结的斯科特闭集(简称SI闭集)的集合ΓSI(X)形成一个完整的格。我们介绍了CSI连续球型和CSI前代数球型的概念,并研究了它们的性质。我们还介绍了以SI为主导的姿势,并证明了对于任何两个以SI为主导的姿势,X和Y,X?Yif以及仅当它们上方的SI封闭集格是同构的。最后,我们证明了具有SI连续映射的强完整姿态集的类别是笛卡尔封闭的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号