Duality theory for enriched Priestley spaces (Q2079656)

\textit{M. H. Stone}'s classical result [Trans. Am. Math. Soc. 40, 37--111 (1936; Zbl 0014.34002)] gives a correspondence \[ \mathsf{BoolSp}\sim\mathsf{BA}^{\mathrm{op}} \] for Boolean algebras and homomorphisms, which was generalized in [\textit{M. H. Stone}, Čas. Mat. Fys. 67, 1--25 (1937; Zbl 0018.00303)] to a correspondence \[ \mathsf{Spec}\sim\mathsf{DL}^{\mathrm{op}} \] for distributive lattices and homomorphisms, where \(\mathsf{BoolSp}\) denotes the category of \textit{Boolean spaces} and continuous maps while \(\mathsf{Spec}\) denotes the category of \textit{spectral spaces} and \textit{spectral maps}. Spectral spaces were replaced by \textit{Priestley spaces} in [\textit{H. A. Priestley}, Bull. Lond. Math. Soc. 2, 186--190 (1970; Zbl 0201.01802); Proc. Lond. Math. Soc. (3) 24, 507--530 (1972; Zbl 0323.06011)] so that we have a correspondence \[ \mathsf{Priest}\sim\mathsf{DL}^{\mathrm{op}} \] This paper continues the authors' study of enriched Stone-type dualities [\textit{D. Hofmann} and \textit{P. Nora}, Adv. Math. 330, 307--360 (2018; Zbl 1446.03107)] in which the context was extended from order structures to quantale-enriched ones, passing from ordered compact Hausdorff spaces to quantale-enriched compact Hausdorff spaces, which led naturally to the notion of quantale-enriched Priestley space. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] recalls the notions of quantale-enriched category and its generalization to compact Hausdorff spaces, which eventually leads to the notion of \textit{quantale-enriched Priestley space}. \item[\S 3] complements the duality results for categories of quantale-enriched Priestley spaces and continuous distributors by showing how these results can be restricted to categories of maps (Theorem 3.7). \item[\S 4] investigates the category \(\mathcal{V}\)-\(\mathsf{Priest}\) of quantale-enriched Priestley spaces and morphisms, with emphasis on those properties identifying the dual of the category as a kind of algebraic category. The authors show for certain quantales that the larger category \(\mathcal{V}\)-\(\mathsf{CatCH}\) of quantale-enriched compact Hausdorff spaces and morphisms is a model category in \(\mathsf{CompHaus}\) of a countable \(\aleph_{1}\)-ary limit sketch (Theorem 4.35), characterize the \(\aleph_{1}\)-copresentable objects of \(\mathcal{V}\)-\(\mathsf{CatCH}\) as precisely the metrizable ones (Corollary 4.38), and show that the left adjoint \[ \pi_{0}:\mathcal{V}\text{-}\mathsf{CatCH}\rightarrow\mathcal{V} \text{-}\mathsf{Priest} \] of the inclusion functor \[ \mathcal{V}\text{-}\mathsf{Priest}\rightarrow\mathcal{V}\text{-}\mathsf{CatCH} \] preserves \(\aleph_{1}\)-cofiltered limits (Proposition 4.42). Based on these results, the authors characterize \(\aleph_{1}\)-copresentable objects (Corollary 4.44) and show that the category is locally \(\aleph_{1}\)-copresentable (Theorem 4.46). \item[\S 5] gives concluding remarks. \end{itemize}