Continuous [0,1]-lattices and injective [0,1]-approach spaces

被引:3
作者
Yu, Junche [1 ]
Zhang, Dexue [1 ]
机构
[1] Sichuan Univ, Sch Math, Chengdu, Peoples R China
基金
中国国家自然科学基金;
关键词
Continuous t-norm; 0,1]-order; Continuous [0,1]-lattice; Injective [0,1]-approach space; Scott [0,1]-approach structure; 0,1]-cotopological space; DUALITY; TOPOLOGY; CATEGORY; LATTICES;
D O I
10.1016/j.fss.2021.11.009
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In 1972, Dana Scott proved a fundamental result on the connection between order and topology which says that injective T-0 spaces are precisely continuous lattices endowed with Scott topology. This paper investigates whether this is true in an enriched context, where the enrichment is the quantale obtained by equipping the interval [0, 1] with a continuous t-norm. It is shown that for each continuous t-norm, the specialization [0, 1]-order of a separated and injective [0, 1]-approach space X is a continuous [0, 1]-lattice and the [0, 1]-approach structure of X coincides with the Scott [0, 1]-approach structure of its specialization [0, 1]-order; but, unlike in the classical situation, the converse fails in general. (c) 2021 Elsevier B.V. All rights reserved.
引用
收藏
页码:49 / 78
页数:30
相关论文
共 54 条
[1]  
Adamek J., 1990, Abstract and Concrete Categories
[2]   SOLVING REFLEXIVE DOMAIN EQUATIONS IN A CATEGORY OF COMPLETE METRIC-SPACES [J].
AMERICA, P ;
RUTTEN, J .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1989, 39 (03) :343-375
[3]  
[Anonymous], 1972, Springer Lecture Notes in Mathematics, DOI DOI 10.1007/BFB0073967
[4]   A duality of generalized metric spaces [J].
Antoniuk, Sylwia ;
Waszkiewicz, Pawel .
TOPOLOGY AND ITS APPLICATIONS, 2011, 158 (17) :2371-2381
[5]   Sober approach spaces [J].
Banaschewski, B. ;
Lowen, R. ;
Van Olmen, C. .
TOPOLOGY AND ITS APPLICATIONS, 2006, 153 (16) :3059-3070
[6]   Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding [J].
Bonsangue, MM ;
van Breugel, F ;
Rutten, JJMM .
THEORETICAL COMPUTER SCIENCE, 1998, 193 (1-2) :1-51
[7]  
Borceux F., 1994, Handbook of categorical algebra, V2
[8]   Coreflective hull of finite strong L-topological spaces [J].
Chen, Piwei ;
Lai, Hongliang ;
Zhang, Dexue .
FUZZY SETS AND SYSTEMS, 2011, 182 (01) :79-92
[9]   FILTER MONADS, CONTINUOUS LATTICES AND CLOSURE SYSTEMS [J].
DAY, A .
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1975, 27 (01) :50-59
[10]  
Flagg R.C., 1996, PREPRINT