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 条
  • [31] PAIR ALGEBRAS AND GALOIS CONNECTIONS
    DERDERIA.JC
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 278 - &
  • [32] Galois Connections for Flow Algebras
    Filipiuk, Piotr
    Terepeta, Michal
    Nielson, Hanne Riis
    Nielson, Flemming
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 138 - 152
  • [33] Galois Connections in Axiomatic Aggregation
    Leclerc, Bruno
    FORMAL CONCEPT ANALYSIS, 2011, 6628 : 24 - 25
  • [34] Duality for Quasilattices and Galois Connections
    Romanowska, Anna B.
    Smith, Jonathan D. H.
    FUNDAMENTA INFORMATICAE, 2017, 156 (3-4) : 331 - 359
  • [35] Programming from Galois connections
    Mu, Shin-Cheng
    Oliveira, Jose Nuno
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (06): : 680 - 704
  • [36] Galois connections and data analysis
    Wolski, M
    FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 401 - 415
  • [37] Logical relations and galois connections
    Backhouse, K
    Backhouse, R
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2386 : 23 - 39
  • [38] On Galois Connections and Soft Computing
    Garcia-Pardo, F.
    Cabrera, I. P.
    Cordero, P.
    Ojeda-Aciego, Manuel
    ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT II, 2013, 7903 : 224 - 235
  • [39] Fuzzy Galois connections categorically
    Gutierrez Garcia, Javier
    Mardones-Perez, Iraide
    de Prada Vicente, Maria Angeles
    Zhang, Dexue
    MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (02) : 131 - 147
  • [40] Logics from Galois connections
    Jarvinen, Jouni
    Kondo, Michiro
    Kortelainen, Jari
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2008, 49 (03) : 595 - 606
12345