满子的英文
mitsuko
例句与用法
- Since domain is the close interaction of order and topology , we now consider these cardinal functions on continuous domains
在某种意义上完善了对dcpo的满子范畴的笛卡尔闭性的讨论。 - Another main topic of this thesis is to discuss cartesian closed property of some full subcategories of local complete semi - lattices with stable functions
第三章讨论以稳定映射为态射的局部完备格范畴的满子范畴的笛卡尔闭性 - The basic properties of stable functions are given firstly . distributive dcpo is defined then and the stable function on this kind of dcpo is discussed in detail
给出了范畴slp的满子范畴笛卡尔闭的必要条件，即证明了slp的满子范畴中的指数对象就是稳定映射构成的函数空间 - Six distinguished computer experts including scott defined the weight of continuous lattices in the first reference and proved that the three kind of weights ? ei g ht of continuous lattices , weight of the related scott topological space and weight of the related lawson topological space , are consistent
证明了几类分配的domain范畴即sdscs 、 sdccs 、 sdacs是slp的闭的满子范畴，指出在slp的满子范畴中指数对象同构于稳定映射所成的函数空间。 - 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的满子范畴是笛卡尔闭的
