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