A duality of generalized metric spaces
type: Item
instance of: scholarly article
title: A duality of generalized metric spaces
zbMATH Open document ID: 1235.06007
author: Sylwia Antoniuk
author: Paweł Waszkiewicz
published in: Topology and its Applications
publication date: 2011-11-08T00:00:00Z
review text: 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.
reviewed by: Ittay Weiss
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 18B35
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 54E35
zbMATH DE Number: 5969488
zbMATH Keywords: Lawson duality
zbMATH Keywords: generalized metric spaces
zbMATH Keywords: quasi-metric spaces
zbMATH Keywords: continuous dcpos
MaRDI profile type: Publication
full work available at URL: j.topol.2011.04.013
OpenAlex ID: W2067545145
cites work: Q4843177
cites work: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
cites work: Topological features of Lax algebras
cites work: Metric, topology and multicategory -- a common approach
cites work: One setting for all: Metric, topology, uniformity, approach structure
cites work: Continuous Lattices and Domains
cites work: Topological theories and closed objects
cites work: Approximation in quantale-enriched categories
cites work: Q4679165
cites work: The formal ball model for -categories
cites work: On the Yoneda completion of a quasi-metric space
cites work: Q3864573
cites work: Q4551182
cites work: On Domain Theory over Girard Quantales
DOI: 10.1016/J.TOPOL.2011.04.013
description: scientific article; zbMATH DE number 5969488