Topological duality and lattice expansions. II: Lattice expansions with quasioperators. (Q2450842)

The paper is a continuation of the first part [ibid. 71, No. 2, 109--126 (2014; Zbl 1307.06002)] where the topological Stone-type duality for semilattices and bounded lattices is presented. The results of this second part show that the duality between the category \(\mathbf{Lat}\) (of bounded lattices and lattice homomorphisms) and the category \(\mathbf{BL}\) (of bounded lattice spaces and \(F\)-stable maps) developed in part I [loc. cit.] can be extended to a duality between lattices with quasioperators and mirrored BL-spaces with strongly continuous functions that are meet-preserving in each argument. The dual objects in this treatment are constructed within a natural topological framework, providing connections with other areas of research, such as domain theory and positive modal logic, as well as applications of these results to specific varieties of lattices with quasioperators, such as modal lattices, lattice-ordered monoids and residuated lattices.