Adjunctions

Adjunction is a pair of morphisms/functors that construct a looser form of equivalence between two categories. It is closely related to the notion of Galois Connection/Galois Correspondence, which has been developed in depth by Prof. Patrick Cousot in his work on Abstract Interpretation.