Compatibilities between continuous semilattices
Keywords:
conjugate capacity, continuous semilattice, monotonic predicate, compatibilityAbstract
We define compatibilities between continuous semilattices as Scott continuous functions from their pairwise cartesian products to $\{0,1\}$ that are zero preserving in each variable. It is shown that many specific kinds of mathematical objects can be regarded as compatibilities, among them monotonic predicates, Galois connections, completely distributive lattices, isotone mappings with images being chains, semilattice morphisms etc. Compatibility between compatibilities is also introduced, it is shown that conjugation of non-additive real-valued or lattice valued measures is its particular case.