Соединение Галуа

• Связи Галуа — это морфизмы между частично упорядоченными множествами, которые сохраняют превосходства и нижние границы. 
• Монотонная связь Галуа является важным свойством, которое позволяет определить составную функцию как монотонную, инфляционную и идемпотентную. 
• Связи Галуа связаны с операторами замыкания и ядрами, которые индуцируют гомоморфизмы фреймов и локалей. 
• Существование и уникальность связей Галуа связаны с сохранением превосходств и нижних границ. 
• Связи Галуа могут быть использованы для описания абстракций в теории абстрактной интерпретации языков программирования. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.