强Z-连续domain和Z-代数domain的刻画定理

给出强Z-连续domain和Z-代数domain的一个刻画及一个范畴性质--余反射性质.     

L-预拓扑空间中的近似L-开集及相关的连通性和范畴性质

研究L-预拓扑空间中L-开集的一些近似形式(其中L是有逆合对应的C-格):θ-L-开集,δ-L-开集,α-L-开集以及β-L-开集。证明了(1)当L的最大元1是并既约元时L-预拓扑空间的连通性、θ-连通性、δ-连通性和α-连通性是等价的;(2)θLTop是LTopsθ、LTop以及LTopθ的反射满子范畴,δLTop是LTopsδ和LTopδ的反射满子范畴;(3)当格L为幂集格时αLTop是LTopsα和LTopα的余反射满子范畴;θLPTop是LPTopsθ、LPTop以及LPTopθ的反射满子范畴,δLPTop是LPTopsδ和LPTopδ的反射满子范畴。     

Classes of pretopological spaces closed under the formation of final structures

We investigate coreflective subconstructs of the construct Prtop of pretopological spaces and continuous maps and in particular the inclusion “order” between these subconstructs. We describe the smallest, second and third coreflective class and then all minimal elements that are strictly larger. Using these minimal elements we obtain a “partition” of the whole conglomerate of coreflective subconstructs of Prtop. The results dealing with classes in one member of this partition have an immediate interpretation in the framework of reflexive relations.     

On the Reflectivity and Coreflectivity of L-Fuzzifying Topological Spaces in L-Topological Spaces

In this paper it is proved that for all completely distributive lattices L, the category of L-fuzzifying topological spaces can be embedded in the category of L-topological spaces (stratified Chang-Goguen spaces) as a simultaneously bireflective and bicoreflective full subcategory. Received April 2, 1999, Revised January 31, 2000, Accepted February 2, 2000     

Coreflective hull of finite strong L-topological spaces

This paper is concerned with the interaction between the logic features of the table of truth values and categorical properties of L-topological spaces and L-co-topological spaces. On one hand, it is shown that for each unital quantale L, the category of Alexandroff strong L-co-topological spaces is the coreflective hull of finite strong L-co-topological spaces. On the other hand, in the case that the quantale L is the unit interval [0,1] equipped with a continuous t-norm, it is shown that the category of Alexandroff strong [0,1]-topological spaces is the coreflective hull of finite strong [0,1]-topological spaces if and only if the continuous t-norm is an ordinal sum of the ?ukasiewicz t-norm whose set of idempotent elements is a well-ordered subset of [0,1] under the usual order.