完备半格的英文
sigma complete semilattice
例句与用法
- In this paper , we first proved that those three weights about continuous domains are equal . after this , the definitions of local basis and character on continuous domains are given and some characteristic theorems of them are discussed
Domain方面将给出一些基本的定义如定向集、定向完备集、连续domain 、连续domain的基、完备半格、局部完备格等，以及连续domain上的重要拓扑? ? scott拓扑和lawson拓扑 - By constructing two kinds of sup - semi lattices , the equivalence between the category of posets and the category of algebraic domains can be restricted to both the category of algebraic l - domains and that of scott domains . to prepare for the next part , the cartesian closed properties of three categories are given at the end of this part
第四节讨论了连续domain的开、闭遗传性；类似于交连续格，给出了交连续完备半格的一个刻划定理；通过构造两种新的半格，给出局部代数格范畴和scottdomain范畴的等价范畴 - The cartesian closed properties of some distributive domains are obtained , such as the categories of distributive meet - continuous semi - lattices , distributive continuous complete semi - lattices , distributive algebraic complete semi - lattices ( distributive scott domains ) . generally , we have that the categorical products are cartesian products and the exponential objects are in fact the function spaces of stable functions under stable orders in any full subcategory of slp
得到了以稳定映射为态射的完备半格范畴、连续完备半格范畴、代数完备半格范畴都不是笛卡尔闭的，而以分配的交连续完备半格、分配的cos 、分配的scottdomain等为对象的slp的满子范畴是笛卡尔闭的
