Galois Connections in A 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.