Category Theory and Computer Science

Volume 283 of the series Lecture Notes in Computer Science pp 290-300


A category of Galois connections

  • J. M. McDillAffiliated withDepartment of Mathematics, California Polytechnic State University
  • , A. C. MeltonAffiliated withDepartment of Computing and Information Sciences, Kansas State University
  • , G. E. StreckerAffiliated withDepartment of Mathematics, Kansas State University

* Final gross prices may vary according to local VAT.

Get Access


We study Galois connections by examining the properties of three categories. The objects in each category are Galois connections. The categories differ in their hom-sets; in the most general category the morphisms are pairs of functions which commute with the maps of the domain and codomain Galois connections. One of our main results is that one of the categories—the one which is the most closely related to the closed and open elements of the Galois connections—is Cartesian-closed.