关于度量空间的formal balls构成的偏序集

formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了Ω-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.     

偏序集的完备化与形式概念分析

借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造.然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系.最后得到本文给出的完备化与经典的Dedekind-MacNeille完备化同构的结论.     

偏序集范畴的Cartesian闭性

作者讨论了偏序集范畴的Cartesian闭性, 给出了偏序集范畴的满子范畴具有Cartesian闭性的充分必要条件. 特别地, 作者证明了交连续半格（不要求定向完备性）范畴是Cartesian闭范畴, L-CDCPO范畴是L-POSET范畴的极大Cartesian闭子范畴.     

Yoneda 完备度量空间范畴的完备性和余完备性

本文章探讨了以Yoneda完备度量空间范畴的完备性和余完备性,证明：若态射是Yoneda连续映射或者Yoneda连续的非扩张映射,则该范畴是完备且余完备的;若态射是Yoneda连续的Lipschitz映射,则该范畴是有限完备和有限余完备的,但既不完备也不余完备.本文还证明了以实数值连续格为对象,Yoneda连续的右伴为态射的范畴是完备的.     

Yoneda完备度量空间范畴的完备性和余完备性（英文）

本文探讨了Yoneda完备度量空间范畴的完备性和余完备性,证明:若态射是Yoneda连续映射或Yoneda连续的非扩张映射,则该范畴是完备且余完备的;若态射是Yoneda连续的Lipschitz映射,则该范畴是有限完备和有限余完备的,但既不完备也不余完备.本文还证明了以实数值连续格为对象,Yoneda连续的右伴为态射的范畴是完备的.     

连续偏序集及其Smyth幂的特征与浓度

推广连续domain的特征与浓度的概念到连续偏序集上,探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度.得到了几个关系定理:1)连续偏序集的特征(浓度)等于其上Scott拓扑的特征(浓度),但小于等于其上Lawson拓扑的特征(浓度);2)连续偏序集的浓度大于或等于它的定向完备化的浓度,而特征小于或等于它的定向完备化的特征;3)连续domain的浓度大于或等于它的Smyth幂domain的浓度.     

关于度量空间中终于周期点集的注记

主要将实线段上连续自映射的终于周期点推广到了度量空间.在一般度量空间到终于周期点集一些性质,并且讨论了终于周期点集与周期点集、回归点集之间的关系.     

偏序集上的MS-收敛

定义在s₂-连续偏序集上的S-极限是一种重要的收敛结构．本文用集族MS代替定向集,将s₂-连续和S-极限进行推广,定义了s_2MS-连续和MS-极限,并用MS-极限定义了s_2MS-α-连续．本文主要结果有：(i)如果L为s_2MS-连续偏序集且?MS关系具有插入性质,则MS-收敛是拓扑的;(ii)如果L为偏序集,任意的x∈L,?α(MS)x∈MS且?α(MS)具有插入性质,则MS-收敛为拓扑的当且仅当L为s_2MS-α-连续的．     

带有偏序逼近族的偏序集上Scott拓扑的比较

设（A,）是偏序集,ω是自然数集,若对任意n∈ω,n是A上的偏序, n＋1包含于 n,∩∈ω n= ,则称（A, ）是带有偏序逼近族.R={ n│n∈ω}的偏序集,简称为R-偏序集,记为（A, ;R）．若任意n∈ω,An=（A, n）是cpo,且对n∈ω,令Fn表示关于 n的Scott拓扑,本文给出了Fn弱于Fn＋1的一个充分条件,以及它的简单应用．