Cartesian Closed Categories of F Z-domains  

作　　者：Min LIU Bin ZHAO 

机构地区：[1]Department of Mathematics, Shaanxi Normal University

出　　处：《Acta Mathematica Sinica,English Series》2013年第12期2373-2390,共18页数学学报（英文版）

基　　金：Supported by National Natural Science Foundation of China(Grant Nos.11171196,10871121)

摘　　要：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.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.

关 键 词：Subset system directable subset system FZ-way-below relation FZ-domain FZ-Scott topology FZ-Scott continuous function cartesian closed category 

分 类 号：O144[理学—数学]