您的位置: 专家智库 > >

国家自然科学基金(s11171196)

作品数:2 被引量:0H指数:0
发文基金:国家自然科学基金更多>>
相关领域:理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇笛卡儿
  • 1篇子集
  • 1篇子集系统
  • 1篇拓扑
  • 1篇完备集
  • 1篇SCOTT拓...
  • 1篇CARTES...
  • 1篇CATEGO...

传媒

  • 1篇Acta M...

年份

  • 1篇2013
2 条 记 录,以下是 1-1
排序方式:
Cartesian Closed Categories of F Z-domains
2013年
A subset systemZassigns to each partially ordered setPa certain collectionZ(P) of subsets. In this paper, a new kind of subset systems called directable subset systems is introduced. For a directable subset system Z, the concepts of F Z-way-below relation and F Z-domain are introduced. The well-known Scott topology is naturally generalized to the Z-level and the resulting topology is calledF Z-Scott topology, and the continuous functions with respect to this topology are characterized by preserving the suprema of directed Z-sets. Then, we mainly consider a generalization of the cartesian closedness of the categories DCPO of directed complete posets, BF of bifinite domains and FS ofF Sdomains to the Z-level. Corresponding to them, it is proved that, for a suitable subset system Z, the categories FZCPO ofZ-complete posets,FSFZ of finitely separated FZ-domains andBFFZ of bifiniteF Z-domains are all cartesian closed. Some examples of these categories are given.
Min LIUBin ZHAO
关键词:SCOTT拓扑子集系统完备集笛卡儿
共1页<1>
聚类工具0