Duality theory for enriched Priestley spaces

DOI10.1016/J.JPAA.2022.107231zbMATH Open1498.18005arXiv2009.02303OpenAlexW3083593687WikidataQ114155329 ScholiaQ114155329MaRDI QIDQ2079656FDOQ2079656

Dirk Hofmann, Pedro Nora

Publication date: 30 September 2022

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: The term Stone-type duality often refers to a dual equivalence between a category of lattices or other partially ordered structures on one side and a category of topological structures on the other. This paper is part of a larger endeavour that aims to extend a web of Stone-type dualities from ordered to metric structures and, more generally, to quantale-enriched categories. In particular, we improve our previous work and show how certain duality results for categories of [0,1]-enriched Priestley spaces and [0,1]-enriched relations can be restricted to functions. In a broader context, we investigate the category of quantale-enriched Priestley spaces and continuous functors, with emphasis on those properties which identify the algebraic nature of the dual of this category.

Full work available at URL: https://arxiv.org/abs/2009.02303

Recommendations

• Enriched Stone-type dualities
• Priestley-type dualities for partially ordered structures
• Quantale-enriched multicategories via actions
• Convergence and quantale-enriched categories
• scientific article
• Bitopological duality for distributive lattices and Heyting algebras
• Categorically-algebraic frameworks for Priestley duality
• Priestley duality for strong proximity lattices
• On presheaf submonads of quantale-enriched categories
• A generalization of de Vries duality to closed relations between compact Hausdorff spaces

zbMATH Keywords

metric spacevarietyPriestley spacequasivarietyStone dualityquantale-enriched category

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories of spans/cospans, relations, or partial maps (18B10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Prime Ideal Structure in Commutative Rings
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Abstract and concrete categories: the joy of cats
• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Statistical Metrics
• On quasivarieties and varieties as categories
• The enriched Vietoris monad on representable spaces
• Ordered topological structures
• On closed elements in closure algebras
• An introduction to quantaloid-enriched categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Title not available (Why is that?)
• Convergence and quantale-enriched categories
• Title not available (Why is that?)
• Relational algebras
• A Kleisli-based approach to lax algebras
• Title not available (Why is that?)
• Monoidal topology. A categorical approach to order, metric, and topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• A generalization of the duality compactness theorem
• Weighted approximation for algebras and modules of continuous functions. Real and self-adjoint complex cases
• Title not available (Why is that?)
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so
• Lawvere completeness in topology
• Topological theories and closed objects
• Stably compact spaces and the probabilistic powerspace construction
• Duality for distributive spaces
• Lawvere completion and separation via closure
• Title not available (Why is that?)
• Remarks on Priestley duality for distributive lattices
• Topological spaces and quasi-varieties
• Flexible limits for 2-categories
• Constructive complete distributivity. IV
• A General Stone-Gelfand Duality
• Title not available (Why is that?)
• Towards Stone duality for topological theories
• Title not available (Why is that?)
• Domains arising as algebras for powerspace constructions
• Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces
• The dual of compact ordered spaces is a variety
• On the axiomatisability of the dual of compact ordered spaces
• Groupoidal completely distributive lattices
• Coalgebraic representations of distributive lattices with operators
• Note on Epi in
• On a generalization of the Stone--Weierstrass theorem
• Exponentiation for unitary structures
• Title not available (Why is that?)
• Enriched Stone-type dualities
• Limits in categories of Vietoris coalgebras
• Hausdorff coalgebras
• Distributive lattices with an operator
• On finitary functors and their presentations
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Duality theory for enriched Priestley spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2079656)