您的位置: 专家智库 > >

国家自然科学基金(s11171196)

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

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇SCOTT
  • 1篇SYSTEM
  • 1篇CARTES...
  • 1篇CLOSED
  • 1篇FZ
  • 1篇SUBSET

传媒

  • 1篇Acta M...

年份

  • 1篇2013
2 条 记 录,以下是 1-1
排序方式:
Cartesian Closed Categories of F Z-domains
2013年
A subset system Z assigns to each partially ordered set P a certain collection Z(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 FZ-way-below relation and FZ-domain are introduced. The well-known Scott topology is naturally generalized to the Z-level and the resulting topology is called FZ-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 of FS-domains to the Z-level. Corresponding to them, it is proved that, for a suitable subset system Z, the categories FZCPO of Z-complete posets, FSFZ of finitely separated FZ-domains and BFFZ of bifinite FZ-domains are all cartesian closed. Some examples of these categories are given.
Min LIUBin ZHAO
共1页<1>
聚类工具0