可除Quantale的一些范畴性质

证明了GL-幺半群范畴是可除单位Quantale范畴的满反射子范畴,并且可除单位Quantale范畴是可除Quantale范畴的满反射子范畴。进而可知,GL-幺半群范畴是可除Quantale范畴的满反射子范畴。     

序半群Quantale完备化的进一步结果

本文给出了序半群上幂集Quantale的最大拓扑闭包的具体形式,即序半群的最小Quantale完备化.在此基础上,证明了Quantale范畴Quant是序半群范畴OSGrp*的满的反射子范畴.最后,给出了序半群Quantale完备化的一个应用.     

对合Quantale范畴的极限

构造出了对合Quantale范畴的极限结构，得到对合Quantale范畴是连通的、点化的、完备的范畴，并给出了若干特殊的极限结构。     

模糊子Quantale模范畴及其性质

给出了Quantale中模糊子Quantale模范畴的定义,研究了其性质,得出模糊子Quantale模范畴是完备的等重要结论。     

Z-Quantale及其范畴性质

本文把集系统的概念应用到Quantale理论中,作为Quantale的一般化,引入了Z-quantale的概念,研究了Z-quantale及其范畴的若干性质.主要结果有:证明了Z-quantale范畴是序半群范畴的反射子范畴,凝聚Z-quantale范畴是Z-quantale范畴的余反射子范畴.讨论了Z-quantale范畴中的投射对象,证明了Z-quantale A是E-投射的当且仅当它是稳定Z-连续的.     

Quantale系统及其子系统的性质

给出了Quantale系统的子系统的定义,借助于Quantale的结构,研究了子系统的一些性质。由同余关系定义了子系统,并得到了QSys的等子和余等子。为进一步研究QSys是完备范畴打下基础。     

对偶Quantale上的Par运算及其性质

在对偶Quantale上定义了Par运算凵,并研究了其性质.给出了单位Quantale是对偶Quantale的充要条件,在此基础上得出对偶Quantale的等价刻画.证明了在一定条件下对偶Quantale的子Quantale亦是对偶Quantale.     

Z-Quantale的进一步结果

引入交Z-quantale的概念,证明了交Z-quantale的所有Z-闭子集构成的集合在包含序下是Frame.讨论了交Z-quantale上的核映射、商、同余三者之间的关系,还证明了Quantale范畴是Z-quantale范畴的反射子范畴.     

对合Quantale范畴的逆系统

本文得到了对合Quantale范畴逆系统及逆极限的结构,引入了两个逆系统之间映射的概念,给出了逆极限之间的极限映射,并研究了它们的若干性质.     

余Quantale及其性质

讨论余Quantale的一些性质,引入预余Quantale的概念并给出预余Quantale成为余Quantale的充要条件,构造了一些子余Quantale结构。     

Girard Quantale中的模糊关联滤子

在Girard Quantale中引入了模糊滤子和模糊关联滤子的概念,研究了Girard Quantale中模糊滤子和模糊关联滤子的一些性质,给出了Girard Quantale中模糊关联滤子的若干等价刻画,探讨了模糊关联滤子与模糊布尔滤子之间的关系.     

A category of association schemes

We define a category of association schemes and investigate its basic properties. We characterize monomorphisms and epimorphisms in our category. The category is not balanced. The category has kernels, cokernels, and epimorphic images. The category is not an exact category, but we consider exact sequences. Finally, we consider a full subcategory of our category and show that it is equivalent to the category of finite groups.     

Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

Crossed Semimodules and Schreier Internal Categories in the Category of Monoids

We introduce the notion of a Schreier internal category in the category of monoids and prove that the category of Schreier internal categories in the category of monoids is equivalent to the category of crossed semimodules. This extends a well-known equivalence of categories between the category of internal categories in the category of groups and the category of crossed modules.     

Idempotent completion of pretriangulated categories

A pretriangulated category is an additive category with left and right triangulations such that these two triangulations are compatible. In this paper, we first show that the idempotent completion of a left triangulated category admits a unique structure of left triangulated category and dually this is true for a right triangulated category. We then prove that the idempotent completion of a pretriangulated category has a natural structure of pretriangulated category. As an application, we show that a torsion pair in a pretriangulated category extends uniquely to a torsion pair in the idempotent completion.     

The heart of the Banach spaces

Consider an exact category in the sense of Quillen. Assume that in this category every morphism has a kernel and that every kernel is an inflation. In their seminal 1982 paper, Beĭlinson, Bernstein and Deligne consider in this setting a t-structure on the derived category and remark that its heart can be described as a category of formal quotients. They further point out that the category of Banach spaces is an example, and that here a similar category of formal quotients was studied by Waelbroeck already in 1962. In the current article, we give a direct and rigorous construction of the latter category by considering first the monomorphism category. Then we localize with respect to a multiplicative system. Our approach gives rise to a heart-like category not only for the Banach spaces. In particular, the main results apply to categories in which the set of all kernel–cokernel pairs does not form an exact structure. Such categories arise frequently in functional analysis.     

Two subcategories of apartness spaces

We introduce the notion of a topological quasi-apartness space and the notion of a uniform quasi-apartness space, and construct an adjunction between the category of topological quasi-apartness spaces and the category of neighbourhood spaces, and an adjunction between the category of uniform spaces and the category of uniform quasi-apartness spaces.     

L-fuzzy集理论的范畴基础与层表示

鉴于L-fuzzy集在理论上的重要性和应用上的广泛性,旨在建立L-fuzzy集理论的范畴基础与它的层表示,提出完备范畴中对象上的格值结构概念,这一概念是L-fuzzy结构在范畴层面上的提升,进一步提出完备范畴上格值结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与格值结构是同构的.以集层、群层、环层和左R-模层以及Grothendieck层等概念为基础,提出完备范畴中对象上的层结构以及完备范畴上层结构提升范畴概念,证明了在集合范畴中L-fuzzy结构与层结构也是同构的.