{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2079656","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2079656","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2079656","kernelVersion":"v1","immutable":true,"modified":"2026-04-01T04:23:18Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2079656","name":"Duality theory for enriched Priestley spaces","headline":"Duality theory for enriched Priestley spaces","description":"scientific article; zbMATH DE number 7595207","url":"https://portal.mardi4nfdi.de/entity/Q2079656","datePublished":"2022-09-30","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q328661"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1644967"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q168348"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JPAA.2022.107231","url":"https://doi.org/10.1016/J.JPAA.2022.107231"},"sameAs":["https://doi.org/10.1016/J.JPAA.2022.107231"],"comment":"\\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}","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5207356"},{"@id":"https://portal.mardi4nfdi.de/entity/Q831307"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1770598"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3411966"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2341699"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4362081"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4293501"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5554116"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5602969"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4698555"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1364911"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1262939"},{"@id":"https://portal.mardi4nfdi.de/entity/Q869666"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4314472"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5782187"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3994006"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1183950"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1022482"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5612499"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4049062"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2548649"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4787439"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3259695"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5576276"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1612122"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1866033"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2508937"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2383009"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2847354"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2249254"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4563236"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3119464"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1644968"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2024924"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4553296"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2877685"},{"@id":"https://portal.mardi4nfdi.de/entity/Q536043"},{"@id":"https://portal.mardi4nfdi.de/entity/Q987494"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3711309"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2844074"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4679165"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2761575"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4198915"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4551182"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4340906"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3995283"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2652482"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5844635"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3890908"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2395962"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1818642"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1914067"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3976466"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5598363"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4085773"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5261932"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1330904"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4868226"},{"@id":"https://portal.mardi4nfdi.de/entity/Q689273"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5701007"},{"@id":"https://portal.mardi4nfdi.de/entity/Q842755"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5763114"},{"@id":"https://portal.mardi4nfdi.de/entity/Q277336"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2390522"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5631281"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4464692"}]},"provenance":{"prov:generatedAtTime":"2026-04-01T04:23:18Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}