Approaching metric domains
From MaRDI portal
Publication:395665
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
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