1) Towards Maturity
走向完备
2) Toward the Wholeness of Survival
走向完整的生存
3) Towards an Integrated Man
走向完整的人
4) Toward the Completeness of Aesthetic Education
走向美育的完整
5) Directed Completion
定向完备化
1.
Directed Completions of Consistent FS-domains and Related Categorical Properties;
FS-相容Domain的定向完备化及相关范畴性质
2.
In terms of Scott topology, it defines the directed completion of an LDomain, and proves that the completion of a consistent LDomain is an LDomain.
引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domain范畴是 Cartesian闭范畴 ,证明了稳定映射为态射的 L Domain范畴为相容 L Domain范畴的满的反射子范
3.
With the directed completion,it is also showed that the category of continuous posets is a full r.
引入了相容连续偏序集及其定向完备化等概念 ,证明了相容连续偏序集的定向完备化是连续偏序集 ;利用主理想及 Scott拓扑刻画了相容连续偏序集 ,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序集也当且仅当它的 Scott拓扑是一个完全分配格 ;考察了相容连续偏序集的定向完备化的范畴意义 ,得到相容连续偏序集范畴以连续偏序集范畴作为满的反射子范畴 。
补充资料:走向
地质构造面和水平面交线的方向。是地质体(如褶皱、断层、岩层等)在空间赋存状况的一个重要参数,表示地质体在地面上的延伸方向。按不同的对象分别称为岩层走向、断层走向等。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条