|
|||||
|
|
| Topos中的Galois联络 | |
| 引用本文： | 卢涛,贺伟,王习娟.Topos中的Galois联络[J].数学研究及应用,2010,30(3):381-389. |
| 作者姓名： | 卢涛 贺伟 王习娟 |
| 作者单位： | 淮北师范大学数学科学学院, 安徽 淮北 235000; 南京师范大学数学与计算机科学学院, 江苏 南京 210097;南京师范大学数学与计算机科学学院, 江苏 南京 210097;南京师范大学数学与计算机科学学院, 江苏 南京 210097; 连云港师范高等专科学校数学系, 江苏 连云港 222006 |
| 基金项目： | 国家自然科学基金(Grant No.10731050). |
| 摘 要： | 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. |
| 关 键 词： | partial order object Galois connection topos. |
| 收稿时间： | 2008/5/27 0:00:00 |
| 修稿时间： | 2008/10/25 0:00:00 |
Galois Connections in A Topos |
|
| Tao LU,Wei HE and Xi Juan WANG.Galois Connections in A Topos[J].Journal of Mathematical Research with Applications,2010,30(3):381-389. | |
| Authors: | Tao LU Wei HE and Xi Juan WANG |
| Institution: | 1. Department of Mathematics, Huaibei Normal University, Anhui 235000, P. R. China;School of Mathematics and Computer Science, Nanjing Normal University,Jiangsu 210097, P. R. China 2. School of Mathematics and Computer Science, Nanjing Normal University,Jiangsu 210097, P. R. China 3. School of Mathematics and Computer Science, Nanjing Normal University,Jiangsu 210097, P. R. China;Lianyungang Teacher's College, Jiangsu 222006, P. R. China |
| Abstract: | 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. |
| Keywords: | partial order object Galois connection topos |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 | |
| 点击此处可从《数学研究及应用》下载免费的PDF全文 | |