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 条
12345