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 条
  • [21] A CATEGORY OF GALOIS CONNECTIONS
    MCDILL, JM
    MELTON, AC
    STRECKER, GE
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 290 - 300
  • [22] Constructive Galois Connections
    Darais, David
    Van Horn, David
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [23] Prime Galois Connections
    Swamy, U. M.
    Murty, A. V. S. N.
    SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2010, 34 (03) : 497 - 508
  • [24] Structures on Galois connections
    Murty, A.V.S.N.
    Italian Journal of Pure and Applied Mathematics, 2020, 44 : 150 - 154
  • [25] 2-Filteredness and The Point of Every Galois Topos
    Dubuc, Eduardo J.
    APPLIED CATEGORICAL STRUCTURES, 2010, 18 (02) : 115 - 121
  • [26] 2-Filteredness and The Point of Every Galois Topos
    Eduardo J. Dubuc
    Applied Categorical Structures, 2010, 18 : 115 - 121
  • [27] Triadic fuzzy Galois connections as ordinary connections
    Belohlavek, Radim
    Osicka, Petr
    FUZZY SETS AND SYSTEMS, 2014, 249 : 83 - 99
  • [28] Triadic fuzzy Galois connections as ordinary connections
    Belohlavek, Radim
    Osicka, Petr
    2012 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2012,
  • [29] GALOIS THEORY FOR ITERATIVE CONNECTIONS AND NONREDUCED GALOIS GROUPS
    Maurischat, Andreas
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2010, 362 (10) : 5411 - 5453
  • [30] Programming from Galois Connections
    Mu, Shin-Cheng
    Oliveira, Jose Nuno
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2011, 6663 : 294 - 313
12345