Difference between revisions of "Adjunctions"
Jump to navigation
Jump to search
m (Benkoo moved page Adjuctions to Adjunctions) |
|||
| Line 6: | Line 6: | ||
[[Category:Category Theory]] | [[Category:Category Theory]] | ||
[[Category:Abstract Interpretation]] | [[Category:Abstract Interpretation]] | ||
[[Category:Adjoint Functors]] | |||
</noinclude> | </noinclude> | ||
Latest revision as of 14:03, 28 January 2022
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