Topology and its Applications ( IF 0.6 ) Pub Date : 2020-12-28 , DOI: 10.1016/j.topol.2020.107571 Xiaoquan Xu
Let , and Sob be the category of all d-spaces, that of all well-filtered spaces and that of all sober spaces respectively. For a full subcategory K of containing Sob, it is proved that the product of an arbitrary family of K-determined sets is a K-determined set and if K is adequate, then the K-reflection preserves arbitrary products of spaces. In particular, the Keimel-Lawson reflection, well-filtered reflection and d-reflection all preserve arbitrary products of spaces, and DCPO-completion preserves the product of a family of posets if the Scott topology of the product is the product of the Scott topologies of the factors.
中文翻译:
产品空间的K-反射
让 , 和点Sob是所有的类别d,所有公过滤空间和分别所有清醒空间-spaces。对于K的完整子类别证明含有Sob的任意族的K-确定集的乘积是K-确定集,如果K足够,则K-反射将保留空格。特别是,Keimel-Lawson反射,经过良好滤波的反射和d反射都保留了以下任意乘积:空格,并且DCPO -completion保留了系列产品 如果产品的斯科特拓扑结构正确 是因素的Scott拓扑的乘积。