Сумісності між неперервними напівґратками

Анотація

Ми означуємо сумісності між неперервними напівґратками як неперервні за Скоттом функції з їх попарних добутків у $\{0,1\}$, які зберігають нуль по кожній змінній. Показано, що багато видів математичних об'єктів можна розглядати як сумісності, зокрема, монотонні предикати, зв'язки Галуа, цілком дистрибутивні ґратки, ізотонні відображення, образи яких є ланцюгами, морфізми напівґраток та ін. Запроваджено також сумісність між сумісностями і показано, що спряження дійснозначних чи ґраткозначних неадитивних мір є її частинним випадком.