Approximation in quantale-enriched categories
From MaRDI portal
Publication:536049
DOI10.1016/j.topol.2011.02.003zbMath1233.06004arXiv1004.2228MaRDI QIDQ536049
Dirk Hofmann, Paweł Waszkiewicz
Publication date: 16 May 2011
Published in: Topology and its Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1004.2228
continuous domain; approximating distributor; complete distributivity; quantale-enriched category; quantitative domain theory; Scott-continuity; way-below distributor
06D10: Complete distributivity
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications
18B35: Preorders, orders, domains and lattices (viewed as categories)
06F07: Quantales
18D20: Enriched categories (over closed or monoidal categories)
Related Items
Distance Domains: Completeness, Completely distributive enriched categories are not always continuous, An introduction to quantaloid-enriched categories, Free \(Q\)-algebras., On the power-set \(Q\)-algebras, Approaching metric domains, A duality of quantale-enriched categories, A duality of generalized metric spaces, Closedness of the category of liminf complete fuzzy orders, Scott approach distance on metric spaces, Semitopological groups, semiclosure semigroups and quantales, On the quantale of quantic nuclei, The topology of a quantale valued metric space, A comparative study of ideals in fuzzy orders, A few notes on quantum \(B\)-algebras, Cartesian closedness of a category of non-frame valued complete fuzzy orders, A quantified coalgebraic van Benthem theorem, The enriched Vietoris monad on representable spaces, Precoherent quantale completions of partially ordered semigroups, Fuzzy \(Z\)-continuous posets, On the injective hulls of quantum B-algebras, Two Cartesian closed subcategories of fuzzy domains, Fuzzy bases of fuzzy domains, A four for the price of one duality principle for distributive spaces, A non-frame valued Cartesian closed category of liminf complete fuzzy orders
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
- Injective spaces via adjunction
- Solving reflexive domain equations in a category of complete metric spaces
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Lawvere completion and separation via closure
- Lawvere completeness in topology
- The closure of a class of colimits
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Continuous categories and exponentiable toposes
- Quantales and continuity spaces
- Weighted colimits and formal balls in generalized metric spaces
- Liminf convergence in \(\Omega\)-categories
- Continuity spaces: Reconciling domains and metric spaces
- Topological features of Lax algebras
- One setting for all: Metric, topology, uniformity, approach structure
- The essence of ideal completion in quantitative form
- On the Yoneda completion of a quasi-metric space
- Domain theory, testing and simulation for labelled Markov processes
- A behavioural pseudometric for probabilistic transition systems
- Metric, topology and multicategory -- a common approach
- Quasi-uniform completeness in terms of Cauchy nets
- Recursively defined metric spaces without contraction
- Topological theories and closed objects
- Continuity in quantitative domains
- Complete and directed complete \(\Omega \)-categories
- Duality for distributive space
- 'Hausdorff distance' via conical cocompletion
- Relative injectivity as cocompleteness for a class of distributors
- All Topologies Come From Generalized Metrics
- The Category-Theoretic Solution of Recursive Domain Equations
- Completeness of Quasi-Uniform and Syntopological Spaces
- SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE
- Processes and the denotational semantics of concurrency
- Continuous Lattices and Domains
- Relational algebras
- An introduction to metric semantics: Operational and denotational models for programming and specification languages