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

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

Riesz模范畴的完备性和余完备性

范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。     

完备半格范畴的反射与余反射子范畴

构造性地证明了以有左（右）伴随的Ｓｃｏｔｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｔｄｏｍａｉｎ范围,是完备半格范畴的余反射（反射）子范畴。     

完全分配格范畴的完备性与余完备性

证明了完全分配格范畴是完备的和余完备的格范畴。     

模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。     

Z—连续格的一个范畴刻划

记A表示以完备格为对象且《满足插入性质,保Z-并和保≤z的映射作为态射的范畴,而B是A中全体Z-连续格为对象的满子范畴,我们给出了Z-连续格的一个范畴性质-余反射性质,即B在A中是余反射的。     

连续定向完备序半群及其范畴性质

引入了连续定向完备序半群的概念,得到了连续定向完备序半群的若干等价刻画,证明了范畴CDOSG(以全体连续定向完备序半群为对象,以保定向并的序半群同态为态射)是有限完备的,其满子范畴CCDOSG(以全体交换的连续定向完备序半群为对象)也是有限完备的且对函数空间封闭。     

相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

有界完备的domain范畴是monadic范畴

一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κdomain以及相应的Scott κ拓扑的概念,并证明了有界完备的κdomain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴.     

抽象范畴的连通性与特殊对象和特殊态射

讨论范畴的连通性与特殊对象和特殊态射的关系，主要结果有：（１）在连通范畴中，以始对象或终对象或零定义域（取值域）的态射皆为截片（保核收缩）、（２）在连通范畴中，任一始屿任一终对象必同主管（３）在范畴中，以始对象（终对象）为定义域（取值域）的态必为余常态射（常态射），（４）范Ｆ若遥零对象，则Ｆ一定是连通范畴，（５）若范畴中Ｆ中某一ｈｏｍｅ（Ａ，Ｂ）中至少有两个零态射，则Ａ一定不是连通范畴，更无零对象     

有界完全Domain及其相关性质

介绍了有界完全Domain的相关性质,用函数空间的研究方法证明了以ScottDS连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性;同时指出它是一个FS Domain,而FS Domain及其之间的ScottDS连续映射构成的范畴是笛卡儿闭的,从而有界完全Domain范畴BC Domain是FS Domain范畴的笛卡儿闭的满子范畴.     

完备范畴的极限范畴与η-扩张

研究完备范畴的极限范畴与η-扩张关系,证明完备范畴之间的极限范畴的η-扩张与η-扩张的极限范畴同构。     

偏序集上Z—态射的刻划

该文引入了Ｚ－Ｓｃｏｔｔ连续映射的概念,证明了Ｚ－完备偏序集上的映射为Ｚ－连续映射当且仅当它为Ｚ－Ｓｃｏｔｔ连续映射,并由此得到了偏序集上Ｚ－态射的刻划定理。     

到锥度量空间上的半连续集值映射的连续性

为了获得到锥度量空间的上半连续和下半连续集值映射的连续点所具有的性质,通过构造第二纲集的方法,得到了到锥kR定义的锥度量空间kR的上半连续和下半连续紧值集值映射的连续点构成的集合是定义域中的剩余集.若定义域是Baire空间或完备度量空间,其连续点构成的集合还是稠密的,此时称到锥kR定义的锥度量空间kR的紧值上半连续和下半连续集值映射是通有连续的,也即是说在Baire纲意义下,此时的半连续集值映射在绝大多数点处是连续的,或者说基本上是连续的.该结果对集值分析理论和稳定性问题的研究有一定的理论参考价值和应用指导意义.     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

连续广义度量空间

本文研究了连续广义度量空间的基本性质。首先证明了对于连续的广义度量空间，c-Scott拓扑和广义Scott拓扑相等；其次证明了连续度量空间之间的非扩张映射Yoneda连续当且仅当它关于广义Scott拓扑连续。     

范畴中态射集左(右)加权星型序的刻画

利用态射的加权广义逆定义态射集的左（右）加权星型序,给出它的等价刻画,以及特殊范畴中进一步的等价刻画,当加权态射分别为单位态射时,得到文献[1～3]的相应结论.