Galois Connections

From PKC
Revision as of 05:05, 13 January 2023 by Benkoo2 (talk | contribs)
Jump to navigation Jump to search

Galois connection[1] is a strategy to study symmetry or symmetry breaking, using adjunctions. One of the most extensive application of this mathematical field is called:Abstract Interpretation[2].


References

  1. ↑ K. Denecke, ed. (2004). Galois Connections and Applications. local page: Kluwer Academic Publishing. ISBN 978-1-4020-1898-5. 
  2. ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press. 

Related Pages


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