English translation for "完备半格"
|
- sigma complete semilattice
Related Translations:
完备: complete; perfect 短语和例子指出不完备之处 point out the imperfections; 这些插图使正文臻于完备。 these illustrations fulfil the text. 再有一张邮票, 我这套集邮就完备了。 i need one more stamp before my collection is completed 完备方程组: complete equation system 完备度量: complete metric space 完备的: completefullperfectself-containedthorough 不完备: deficiencyimperfectionimperfectness 关系上完备: relationally complete 完备赋值域: complete valuation field
- Example Sentences:
| 1. | 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拓扑 | | 2. | 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范畴的等价范畴 | | 3. | 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的满子范畴是笛卡尔闭的 |
- Similar Words：
- "完 经过" English translation, "完安混剂" English translation, "完败" English translation, "完备" English translation, "完备阿贝耳簇" English translation, "完备标准正交系" English translation, "完备标准正交序列" English translation, "完备不可约簇" English translation, "完备测度空间" English translation, "完备测试集" English translation
|
|
|
