Generalized \((S,I)\)-complete free completely distributive lattices generated by posets (Q1266925)

Let \(P\) be a poset and \(SP\), \(IP\) be families of subsets of \(P\) containing all the singletons of \(P\) but otherwise arbitrary. For every subset \(A\subseteq P\) let \(A^\delta\) be the set of all lower bounds of the set of all upper bounds of \(A\), and let \(A^\eta\) be defined dually. If \(L\) is a complete lattice, a mapping \(f:P\to L\) is called a generalized \((S,I)\)-complete homomorphism provided \(f\) is isotone, \(\sup(f(A^\delta))= \sup f(A)\) for all \(A\in SP\), and \(\inf f(B^\eta)=\inf f(B)\) for all \(B\in IP\). The main result of this paper is that for every poset \(P\) there exists a completely distributive lattice \(ISF(P)\) and a generalized \((S,I)\)-complete homomorphism \(u:P\to ISF(P)\) such that for every completely distributive lattice \(L\) and every generalized \((S,I)\)-complete homomorphism \(f:P\to L\) there is a unique complete homomorphism \(\overline{f}: ISF(P)\to L\) which extends \(f\). Several kinds of free completely distributive lattices already known in the literature are recaptured from the above theorem by appropriate choices of the families \(IP\) and \(SP\).