Choiceless, pointless, but not useless: dualities for preframes
Motivated by a variety of results from domain theory and topology such as the duality between continuous frames and locally compact sober spaces, Lawson duality of continuous domains, and the Hofmann-Mislove theorem about semilattices of compact sets, the author seeks a general framework for deducing results of this type in a point-free setting that avoids the necessity of using choice principles. For this purpose he introduces quasiframes, directed-complete meet-semilattices with top, and preframes, meet-continuous quasiframes. He shows that the locally compact well-filtered preframes are the continuous preframes, establishes some natural dualities for the involved categories, and obtains various characterizations of preframes having duality.
- Atomless Parts of Spaces.
- Continuous Lattices and Domains
- General Stone duality.
- scientific article; zbMATH DE number 432734 (Why is no real title available?)
- scientific article; zbMATH DE number 3851163 (Why is no real title available?)
- scientific article; zbMATH DE number 3878992 (Why is no real title available?)
- scientific article; zbMATH DE number 3929909 (Why is no real title available?)
- scientific article; zbMATH DE number 4092319 (Why is no real title available?)
- scientific article; zbMATH DE number 3666860 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3720979 (Why is no real title available?)
- scientific article; zbMATH DE number 3726420 (Why is no real title available?)
- scientific article; zbMATH DE number 3732040 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 19039 (Why is no real title available?)
- scientific article; zbMATH DE number 19040 (Why is no real title available?)
- scientific article; zbMATH DE number 19490 (Why is no real title available?)
- scientific article; zbMATH DE number 3598539 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- Minimal bases, ideal extensions, and basic dualities
- On Krull's separation lemma
- Stably continuous frames
- The Spectral Theory of Distributive Continuous Lattices
- The strength of prime separation, sobriety, and compactness theorems
- Categories of locally hypercompact spaces and quasicontinuous posets
- Esakia style duality for implicative semilattices
- Canonical extensions of locally compact frames
- Infinite distributive laws versus local connectedness and compactness properties
- Point-free version of Kakutani duality
- Choice-free dualities for domains
- ( Z₁, Z₂)-complete partially ordered sets and their representations by Q-spaces.
- scientific article; zbMATH DE number 19490 (Why is no real title available?)
- A duality of quantale-enriched categories
- Patchwork and web spaces
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Deriving dualities in pointfree topology from Priestley duality
- Priestley style duality for distributive meet-semilattices
This page was built for publication: Choiceless, pointless, but not useless: dualities for preframes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2471003)
