In domain theory, Lawson duality is the result that the category \textbf{Dom} of continuous dcpos and open filter-reflecting maps is self-dual. A dcpo may be defined as a category \(X\) enriched in a two-element lattice (and is thus a poset) satisfying the condition that the lower closure functor \(\downarrow :X\to JX\) has a left adjoint which itself has a left adjoint (here \(JX\) is the set of filters in \(X\)). It is a classical result due to Lawvere that quasi-pseudometric spaces may be defined as categories enriched in the quantale \([0,\infty]\). As such it is natural to define a \([0,\infty]\)-domain to be a quasi-metric space which, seen as a \([0,\infty]\)-category, satisfies the condition that the left adjoint of the (enriched) Yoneda embedding has itself a left adjoint. Developing the necessary theory of \([0,\infty]\)-domains, the author shows that the category \([0,\infty]\)-\textbf{Dom} of \([0,\infty]\)-domains and open filters reflecting morphisms is self-dual. Lawson duality for domains is then a corollary by restriction along the embedding \(\{0,\infty\}\to [0,\infty]\). The article is quite self-contained and clearly written, finishing with a short discussion of the possible applications of the new duality.
- Approximation in quantale-enriched categories
- Continuous Lattices and Domains
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- scientific article; zbMATH DE number 3666860 (Why is no real title available?)
- scientific article; zbMATH DE number 1796614 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- Metric, topology and multicategory -- a common approach
- On Domain Theory over Girard Quantales
- On the Yoneda completion of a quasi-metric space
- One setting for all: Metric, topology, uniformity, approach structure
- The formal ball model for \(\mathcal Q\)-categories
- Topological features of Lax algebras
- Topological theories and closed objects
- The Levy-Steinitz rearrangement theorem for duals of metrizable spaces
- scientific article; zbMATH DE number 4103730 (Why is no real title available?)
- A duality of quantale-enriched categories
- Dual of the Choquet spaces with general Hausdorff content
- scientific article; zbMATH DE number 7646807 (Why is no real title available?)
- A Gelfand-Type Duality for Coarse Metric Spaces With Property A
- Besicovitch and doubling type properties in metric spaces
- Cartesian closed and stable subconstructs of [0,1]-\textbf{Cat}
- Continuous \([0,1]\)-lattices and injective \([0,1]\)-approach spaces
This page was built for publication: A duality of generalized metric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q645202)
