Continuous semilattices (Q1080873)

A subset system \({\mathcal Z}\) is an operator assigning to each poset P a collection \({\mathcal Z}(P)\) of subsets of P such that for each \(X\in {\mathcal Z}(P)\) and each order-preserving \(f: P\to Q\) we have f(X)\(\in {\mathcal Z}(Q)\). A poset P is \({\mathcal Z}\)-complete iff each \(X\in {\mathcal Z}(P)\) has a join in P. An order-preserving mapping \(f: P\to Q\) is \({\mathcal Z}\)- continuous iff it preserves all existing \({\mathcal Z}\)-joins. A triple \((A,+,\leq)\) is a separately \({\mathcal Z}\)-continuous semilattice if \((A,+)\) is a semilattice, (A,\(\leq)\) is a \({\mathcal Z}\)-complete poset and for each \(a\in A\), \(a+-: A\to A\) preserves the order and non-empty \({\mathcal Z}\)- joins. Morphisms between separately \({\mathcal Z}\)-continuous semilattices are \({\mathcal Z}\)-continuous semilattice homomorphisms. The authors describe a free separately \({\mathcal Z}\)-continuous semilattice over an arbitrary set X (with the discrete ordering) for every subset system \({\mathcal Z}\). For special subset systems \({\mathcal Z}\) and for special \({\mathcal Z}\)-complete posets P free separately \({\mathcal Z}\)-continuous semilattices over P are described.