Galois Connections in A Topos

被引：0
|
作者：
Tao LUWei HEXi Juan WANG Department of MathematicsHuaibei Normal UniversityAnhui PRChinaSchool of Mathematics and Computer ScienceNanjing Normal UniversityJiangsu PRChinaLianyungang Teachers CollegeJiangsu PRChina [1 ,2 ,2 ,2 ,3 ,1 ,235000 ,2 ,210097 ,3 ,222006 ]
机构：
来源：
数学研究与评论 | 2010年 / 30卷 / 03期
关键词：
D O I：
暂无
中图分类号：
O153.1 [偏序集合与格论];
学科分类号：
摘要：
In this paper,we investigate the Galois connections between two partially ordered objects in an arbitrary elementary topos.Some characterizations of Galois adjunctions which is similar to the classical case are obtained by means of the diagram proof.This shows that the diagram method can be used to reconstruct the classical order theory in an arbitrary elementary topos.
引用
收藏
页码：381 / 389
页数：9
相关论文
共 50 条
  • [41] On the roles of Galois connections in classification
    Domenach, F
    Leclerc, B
    EXPLORATORY DATA ANALYSIS IN EMPIRICAL RESEARCH, PROCEEDINGS, 2003, : 31 - 40
  • [42] Relational fuzzy Galois connections
    Cabrera, Inma P.
    Cordero, Pablo
    Ojeda-Aciego, Manuel
    2017 JOINT 17TH WORLD CONGRESS OF INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND 9TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING AND INTELLIGENT SYSTEMS (IFSA-SCIS), 2017,
  • [43] A Relational Extension of Galois Connections
    Cabrera, Inma P.
    Cordero, Pablo
    Munoz-Velasco, Emilio
    Ojeda-Aciego, Manuel
    FORMAL CONCEPT ANALYSIS (ICFCA 2019), 2019, 11511 : 290 - 303
  • [44] Pair algebras and Galois connections
    Backhouse, R
    INFORMATION PROCESSING LETTERS, 1998, 67 (04) : 169 - 175
  • [45] ESSENTIAL AND RETRACTABLE GALOIS CONNECTIONS
    Crivei, Septimiu
    JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2013, 12 (06)
  • [46] Invertibility of functional Galois connections
    Akian, M
    Gaubert, S
    Kolokoltsov, V
    COMPTES RENDUS MATHEMATIQUE, 2002, 335 (11) : 883 - 888
  • [47] GALOIS CONNECTIONS AND PAIR ALGEBRAS
    DERDERIAN, JC
    CANADIAN JOURNAL OF MATHEMATICS, 1969, 21 (02): : 498 - +
  • [48] Intuitionistic propositional logic with Galois connections
    Dzik, Wojciech
    Jarvinen, Jouni
    Kondo, Michiro
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (06) : 837 - 858
  • [49] Fuzzy Galois connections on fuzzy posets
    Yao, Wei
    Lu, Ling-Xia
    MATHEMATICAL LOGIC QUARTERLY, 2009, 55 (01) : 105 - 112
  • [50] Galois connections for phylogenetic networks and their polytopes
    Forcey, Stefan
    Scalzo, Drew
    JOURNAL OF ALGEBRAIC COMBINATORICS, 2021, 54 (01) : 173 - 203
12345