\((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces. (Q395671): Difference between revisions

A subset selection \(\mathcal Z\) assigns to each partially ordered set \(P\) a certain collection \(\mathcal ZP\) of subsets of \(P\) (whose members are the so-called \(\mathcal Z\)-sets of \(P\)). Such \(\mathcal Z\)-sets may be, for instance, the collection of all upper bounded sets, of all chains, of all finite subsets, of all directed subsets, or of all subsets up to a given size. The theory of topological or algebraic closure spaces extends to the general \(\mathcal Z\)-level, by replacing directed or finite sets with arbitrary \(\mathcal Z\)-sets and leads to a theory of \(\mathcal Z\)-join completeness (that classifies posets which have all joins of their \(\mathcal Z\)-sets), \(\mathcal Z\)-meet completeness, etc. In the paper under review the author develops a general theory of \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets, that is, partially ordered sets which are simultaneously \(\mathcal Z_1\)-join complete and \(\mathcal Z_2\)-meet complete. Then, for any system \(\mathcal Q=(\mathcal Z_1,\mathcal Z_2,\mathcal Z_3,\mathcal Z_4)\) of subset selections, where the last two are `functorial', that is, satisfy the condition \[ M\in\mathcal Z(P)\Rightarrow f(M)\in\mathcal Z(Q) \] for every monotone \(f\colon P\to Q\), the author considers the category \(\mathcal Q\mathbf P\) of all \((\mathcal Z_1,\mathcal Z_2)\)-complete posets and all \(\mathcal Z_3\)-join preserving and \(\mathcal Z_4\)-meet preserving functions. This category is fully embeddable in the category \(\mathbf P\) of augmented posets of \textit{B. Banaschewski} and \textit{G. Bruns} [Order 5, No. 1, 61-74 (1988; Zbl 0653.06003)]. A central result of the latter paper [op. cit.] is that \(\mathbf P\) is dually adjoint to a category \(\mathbf S\) of abstract spaces (i.e. sets with a collection of subsets, a generalization of topological spaces). In the main result of the present paper the author restricts this dual adjunction to one between \(\mathcal Q\mathbf P\) and a certain full subcategory \(\mathcal Q\mathbf S\) of \(\mathbf S\), for suitable chosen systems \(\mathcal Q\). This adjunction yields a duality between the full subcategory \(\mathcal Q\mathbf P_s\) of \(\mathcal Q\mathbf P\) of all \(\mathcal Q\)-spatial objects and the full subcategory \(\mathcal Q\mathbf S_s\) of \(\mathcal Q\mathbf S\) of all \(\mathcal Q\)-sober objects. These concepts of \(\mathcal Q\)-spatiality and \(\mathcal Q\)-sobriety extend the usual notions of spatiality of locales and sobriety of topological spaces. Their relations to the notions of \(\mathcal Z\)-compact generation and \(\mathcal Z\)-sobriety of \textit{M. Erné}, [NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 113-192 (1993; Zbl 0791.06007)] are also established. The paper ends with several consequences and applications of the main result.