No label defined (Q4933941)

A subset \(W\) of a poset is called a Frink ideal if for each finite \(A\subseteq W\) we have \(A^{ul}\subseteq W\), where \(A^u\) \((A^l)\) is the upper (lower) bound of \(A\). Every poset \(P\) that is Frink ideal-distributive (i.e., whose lattice of Frink ideals is distributive) is representable as a collection \({\mathcal P}\) of compact-open sets of a sober space such that \({\mathcal P}\) is a basis for the topology, and also such that each compact-open set is of the form \((\bigcap_\alpha P_\alpha)^o\) for some family \((P_\alpha)_\alpha\in{\mathcal P}\), and, conversely, every such collection \({\mathcal P}\) forms a poset that is Frink ideal-distributive. In this paper, the author extends this topological representation to more posets by using ideals as defined by \textit{H. P. Doctor} [Thesis, University of Hamilton, 1967]. Posets \(P\) that are Doctor ideal-distributive are representable as collections \({\mathcal P}\) of compact-open sets with the more general properties that \({\mathcal P}\) is a basis for the topology and that all finite joins in \({\mathcal P}\) occur as unions. There follows, as in a paper of \textit{E. David} and \textit{M. Erné} [Topology Appl. 44, No. 1-3, 95-113 (1992; Zbl 0768.06003)], a dual equivalence between categories.