Approaching metric domains

DOI10.1007/s10485-011-9274-zzbMath1294.06009arXiv1103.4744OpenAlexW2044384015MaRDI QIDQ395665

Dirk Hofmann, Gonçalo Gutierres

Publication date: 30 January 2014

Published in: Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

metric spaceapproach spacecontinuous latticeinjective spacecocomplete space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Categorical methods in general topology (54B30) Continuous lattices and posets, applications (06B35)

Related Items (14)

The saturated prefilter monad ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Sober metric approach spaces ⋮ The Katětov construction modified for a \(T_0\)-quasi-metric space ⋮ Unnamed Item ⋮ Splitting metrics by \(T_0\)-quasi-metrics ⋮ Convergence and quantale-enriched categories ⋮ The enriched Vietoris monad on representable spaces ⋮ Unnamed Item ⋮ Endpoints in \(T_0\)-quasimetric spaces. II. ⋮ Complexity analysis via approach spaces ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Value semigroups, value quantales, and positivity domains ⋮ Scott approach distance on metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximation in quantale-enriched categories
• Injective spaces via adjunction
• Lawvere completion and separation via closure
• Lawvere completeness in topology
• Algebraic theories for continuous semilattices
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A couple of triples
• Doctrines on 2-categories
• Quantales and continuity spaces
• Weighted colimits and formal balls in generalized metric spaces
• Algebraic theories of compact pospaces
• Continuity spaces: Reconciling domains and metric spaces
• Topological features of Lax algebras
• Monads for which structures are adjoint to units
• Topological theories and closed objects
• Ordered topological structures
• Sober approach spaces
• Duality for distributive space
• The formal ball model for -categories
• Relative injectivity as cocompleteness for a class of distributors
• On Domain Theory over Girard Quantales
• All Topologies Come From Generalized Metrics
• Approach Spaces A Common Supercategory of TOP and MET
• Filter Monads, Continuous Lattices and Closure Systems
• Metric spaces, generalized logic, and closed categories
• Continuous Lattices and Domains

This page was built for publication: Approaching metric domains