The duality between congruence lattices of semilattices, and algebraic subsets of an algebraic lattice, is extended to include semilattices with operators. For a set G of operators on a semilattice S, we have $${{\rm Con}(S,+,0,G) \cong^{d} {{\rm S}_{p}}(L,H)}$$Con(S,+,0,G)?dSp(L,H), where L is the ideal lattice of S, and H is a corresponding set of adjoint maps on L. This duality is used to find some representations of lattices as congruence lattices of semilattices with operators. It is also shown that these congruence lattices satisfy the Jonsson---Kiefer property.
['Jennifer Hyndman', 'J. B. Nation', 'Joy Nishida']
Congruence Lattices of Semilattices with Operators