Difference between revisions of "Adjunctions"
Jump to navigation
Jump to search
(Created page with "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|Galoi...") |
m (Benkoo moved page Adjuctions to Adjunctions) |
(No difference)
| |
Revision as of 07:09, 16 December 2021
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.
References