3 ms·
Galois theory is so useful that, besides its fundamental importance in algebra, it birthed the whole subject of Galois connections, which crop up all over the p
by JadeNB 2y ago
Galois theory is so useful that, besides its fundamental importance in algebra, it birthed the whole subject of Galois connections, which crop up all over the place, including in theoretical CS: https://en.wikipedia.org/wiki/Galois_connection https://en.wikipedia.org/wiki/Galois_connection .
- nextos 2y agoGalois connections are super useful for static program analysis. In particular, for abstract interpretation. A great intro book is [1]. [1] Program Analysis – An Appetizer. https://arxiv.org/pdf/2012.10086 https://arxiv.org/pdf/2012.10086