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