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

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

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

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

Con^c（L）是Boole格的特征

定义了完备弱模和链可分的概念,并且证明如下结果：（１）设Ｌ是完备格且ｃｏｎｃ（Ｌ）＝ｃｏｎｃｄ（Ｌ）,则ｃｏｎｃ（Ｌ）是Ｂｏｏｌｅ格当且仅当Ｌ是完备弱模的,并且θ∈ｃｏｎｃ（Ｌ）,θ是链可分的．（２）设Ｌ是完备格,则ｃｏｎｃ（Ｌ）＝ｃｏｎｃｄ（Ｌ）且ｃｏｎｃ（Ｌ）是Ｂｏｏｌｅ格当且仅当Ｌ是完备弱模的且θ∈ｃｏｎｃ（Ｌ）,θ是链可分的．     

Locale范畴中的弱反射子范畴

反射性是范畴论中研究的重要内容,反射的复合性是构造反射性的重要途径.引入了弱反射子范畴的概念,并在此基础上给出反射性的弱形式的复合定理.在locale范畴中,证明了一个locale A的理想格Idl(A)是其限制在紧正则locale范畴上的弱反射子范畴.利用弱形式的反射复合定理,从不同的角度系统的讨论了locale范畴中各种紧性反射.     

完备格范畴中自由—连续格的存在性

本文用ψ—极小集和范畴论的方法讨论了完备格中ψ—连续元的性质，给出了完备格范畴中自由ψ—连续格存在性的构造性证明．     

分子格范畴中一种新的乘积结构

利用完备格上的关系，在一族分子格｛Ｌｉ｝ｉ∈Ｉ的直积上引入了二元关系，讨论了关系的一些基本性质．借助于关系，在引入了下集的概念，证明了中的所有下集全体按集合包含序构成一个分子格．由此得到了一族分子格在分子格范畴中的乘积结构，并且给出了乘积对象中的全体分子与完全分子．最后证明了一族强分子格在分子格范畴中的乘积对象仍然是强分子格．     

强正则带与完备正则带

引入了强正则带和完备正则带的概念,用强加细半格和完备加细半格分别对它们的结构加以描述,并且讨论它们之间以及它们与一般正则带、正规带之间的关系。     

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

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

Kac—Moody代数根格的反射

在本文中我们刻画反射保护根系的，可对称Ｋａｃ－Ｍｏｏｄｙ代数的那种根格中的所有元素。我们还讨论经反射保持根格的那种根格中的元素。     

代数L-domain的表示定理及其相关范畴性质

引人局部条件并半格(简记为L-cusl)及其理想完备化等概念．证明了：任一代数L-domain的紧元集是L-cusl，任一代数L-domain是其紧元集赋予A1exandrov拓扑时的Sober化；任一L-cusl的理想完备化是代数L-domain，从而得到了代数L-domain的表示定理．还证明了Scott连续映射为态射的代数L-domain范畴为L-cusl与单调映射作成的范畴的反射于范畴．     

完备集环是理想格的充分必要条件

证明了如下结果：设L是完备格，L是完备集环←→L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F)，完备格L同构到一个格K的理想格I(K)，L是完备集环←→K是强Sober格。     

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

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

完备格上区间值t-半模及其R-蕴含算子

主要讨论区间值t-半模,在I的基础格为完备格L的情况下,利用完备格L上的t-半模构造区间值t-半模,得到了区间值t-半模的构造方法.进一步,讨论了区间值t-半模及其区间值R-蕴含的性质.     

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

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

范畴中反射和余反射的特征

通过广义的推出和广义的拉回结构，本文主要得到了关于反射及其对偶的一个判别准则，本文还得到其它几个关于反射和余反射范畴的结果。     

反射全息图

推证了反射全息图中布喇格面的走向和间距，说明了反射全息图相当于一个半波堆滤波器，并讨论了布喇格定律对反射全息图特性的控制。     

F—格中完备性的关系

本文研究了σ-完备F-格成为完备格的充分条件,证明了满足条件(A)|x|<|y| 导致‖x‖<‖y‖,(B)0≤x_n↓0导致{x_n}是Cauchy列.中任意一个的σ-完备F-格都是完备格.     

关于连续函数格C（X,R）的一个注记

证明了如下结果，若拓扑空间Ｘ的开集格Ω（Ｘ）满足Ｖ－无穷分配律，则连续函数格Ｃ（Ｘ，Ｒ）完备Ｈｙｔｉｎｇ代数。     

自由Dcpo和自由并完备格的结构和性质

给出了由偏序集生成的自由Dcpo及自由并完备格和由并半格生成的强自由Dcpo及强自由完备格的结构，分别讨论了它们的性质，证明了偏序集与并半格分别可以序嵌入到自由Dcpo、自由并完备格与强自由Dcpo、强自由并完备格．     

半Smooth格

该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格.