Difference between revisions of "Galois Connections"
Jump to navigation
Jump to search
m (Benkoo2 moved page Galois Connection to Galois Connections) |
|||
| Line 1: | Line 1: | ||
Galois connection<ref>{{:Book/Galois Connections and Applications}}</ref> is a strategy to study [[symmetry]] or [[symmetry breaking]], using [[adjunctions]]. | Galois connection<ref>{{:Book/Galois Connections and Applications}}</ref> 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]]<ref>{{:Book/Principle of Abstract Interpretation}}</ref>. | ||
<noinclude> | <noinclude> | ||
Revision as of 05:05, 13 January 2023
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
- ↑ K. Denecke, ed. (2004). Galois Connections and Applications. local page: Kluwer Academic Publishing. ISBN 978-1-4020-1898-5.
- ↑ Cousot, Patrick (Sep 2021). Principles of Abstract Interpretation. local page: ACM Press.
Related Pages