Adjunctions

From PKC

Revision as of 07:06, 16 December 2021 by Benkoo (talk | contribs) (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...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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

Retrieved from "https://pkc.pub/index.php?title=Adjunctions&oldid=19661"