1) Consistent domain
相容domain
2) consistent L-domain
相容L-domain
1.
In this paper we obtain that the category of consistent L-domains and Scott continuous functions is cartesian closed.
考察相容L-domain范畴,得出了以Scott连续映射为态射的相容L-domain范畴是cartesian闭范畴的结论。
3) Consistent FS-Domain
FS-相容Domain
4) consistently algebraic domain
相容代数domain
5) Consistently continuous domain
相容连续Domain
6) consistently bifinite domains
相容双有限domain
1.
Based on the concepts of consistently bifinite domains and the equivalent properties,the article proves several relevant conclusions of consistently bifinite domains.
在相容双有限domain概念及其等价性质的基础上,证明了几个与相容双有限domain相关的结论:相容双有限domain在Scott连续映射下的像仍是相容双有限domain;相容双有限domain的非空Scott闭子集仍是相容双有限domain等。
2.
This paper generalizes some concepts such as bifinite domains from dcpos to consistently directed complete posets, defines concepts of approximate identity, finitely separated, consistently bifinite domains on consistently directed complete posets, and provides an equivalent proposition of consistently bifinite domains.
将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题。
补充资料：相容
1.同时并存;互相包容。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条