卢涛,贺伟,王习娟.Topos中的Galois联络[J].数学研究及应用,2010,30(3):381~389
Topos中的Galois联络
Galois Connections in A Topos
投稿时间:2008-05-27  最后修改时间:2008-10-25
DOI:10.3770/j.issn:1000-341X.2010.03.001
中文关键词:  偏序对象  Galois联络.
英文关键词:partial order object  Galois connection  topos.
基金项目:国家自然科学基金(Grant No.10731050).
作者单位
卢涛 淮北师范大学数学科学学院, 安徽 淮北 235000; 南京师范大学数学与计算机科学学院, 江苏 南京 210097 
贺伟 南京师范大学数学与计算机科学学院, 江苏 南京 210097 
王习娟 南京师范大学数学与计算机科学学院, 江苏 南京 210097; 连云港师范高等专科学校数学系, 江苏 连云港 222006 
摘要点击次数: 1511
全文下载次数: 936
中文摘要:
      本文研究了任意 Topos 中的Galois 联络, 利用图表的方法证明了类似于经典序理论中的 Galois联络的一些好的等价刻画和性质, 从而表明在任意一个 Topos中可以利用图表方法来重新构建经典序理论.
英文摘要:
      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.
查看全文  查看/发表评论  下载PDF阅读器