Pair algebras and Galois connections

R.C. Backhouse

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)


Most studies of Galois connections begin with a function and ask the question: when is there a second function that is connected to the first? In possibly the first application of Galois connections directly related to the digital computer, Hartmanis and Stearns posed a subtly different question: when does a relation define two functions that are Galois connected? Such a relation they called a "pair algebra". We derive a general, necessary and sufficient condition for a relation between complete posets to define a Galois connection. We give examples of pair algebras illustrating why this notion is relevant to the science of computing.
Original languageEnglish
Pages (from-to)169-175
JournalInformation Processing Letters
Issue number4
Publication statusPublished - 1998


Dive into the research topics of 'Pair algebras and Galois connections'. Together they form a unique fingerprint.

Cite this