| Galois Connections in A Topos |
| Received:May 27, 2008 Revised:October 25, 2008 |
| Key Words:
partial order object Galois connection topos.
|
| Fund Project:Supported by the National Natural Science Foundation of China (Grant No.10731050). |
| Author Name | Affiliation | | Tao LU | 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 | | Wei HE | School of Mathematics and Computer Science, Nanjing Normal University, Jiangsu 210097, P. R. China | | Xi Juan WANG | School of Mathematics and Computer Science, Nanjing Normal University, Jiangsu 210097, P. R. China
Lianyungang Teacher's College, Jiangsu 222006, P. R. China |
|
| Hits: 2769 |
| Download times: 1547 |
| 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. |
| Citation: |
| DOI:10.3770/j.issn:1000-341X.2010.03.001 |
| View Full Text View/Add Comment |
|
|
|
