Approaching metric domains

DOI10.1007/s10485-011-9274-zzbMath1294.06009arXiv1103.4744MaRDI 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 space; approach space; continuous lattice; injective space; cocomplete space

Mathematics Subject Classification ID

54E35: Metric spaces, metrizability

54B30: Categorical methods in general topology

06B35: Continuous lattices and posets, applications

Related Items

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

Cites Work

• 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
• 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