A four for the price of one duality principle for distributive spaces (Q2376896): Difference between revisions

In the paper under review, the author pursues his useful study of topological spaces with notions and techniques from order (and category) theory, by regarding them as generalised orders induced by their convergence structure. In fact, in any topological space the ultrafilter convergence relation \(\mathfrak{x}\to x\) (between ultrafilters \(\mathfrak{x}\in UX\) and points \(x\in X\)) may be interpreted as a generalised order relation, by looking to the convergence condition \(\dot{x}\to x\) (where \(\dot{x}\) is the filter of neighbourhoods) as the reflexivity order axiom \(x\leq x\) and to the implication \(\mathfrak{X}\to\mathfrak{x}\;\&\; \mathfrak{x}\to x\Rightarrow m_X(\mathfrak{X})\to x\) (where \(m_X\) is the monadic transformation) as the transitivity order axiom \(x\leq y\;\&\; y\leq z\Rightarrow x\leq z\). For instance, with this interpretation, the down-set generated by a point \(x\) is given by \(\{\mathfrak{x}\in UX\mid \mathfrak{x}\to x\}\). Specifically, the paper deals with the question of generalising the order notion of distributivity to spaces. It provides an elementary formulation of the concept of distributive spaces in terms of natural topological properties defined for submonads \(\mathbb T\) of the filter monad: the \(\mathbb T\)-distributive spaces are identified as the spaces that are sober, \(\mathbb T\)-core-compact, \(\mathbb T\)-stable and \(\mathbb T\)-disconnected. Furthermore, if \(\mathbb{F}_\alpha\) is the monad of \(\alpha\)-filters and \(\alpha\in\{0,1,\omega,\Omega\}\), then the category of \(\mathbb{F}_\alpha\)-distributive spaces is shown to be dually equivalent to the category of those frames in which \(\alpha\)-filters separate points. For \(\alpha=\Omega\), this is the well-known duality between sober spaces and spatial frames, and for \(\alpha=\omega\), this is the restriction of Priestley's duality to f-spaces and frames respectively, presented in [\textit{A. Pultr} and \textit{J. Sichler}, Cah. Topologie Géom. Différ. Catég. 29, No.3, 193--202 (1988; Zbl 0666.54018)].