Approximation in quantale-enriched categories

DOI10.1016/J.TOPOL.2011.02.003zbMATH Open1233.06004arXiv1004.2228OpenAlexW2962712314MaRDI QIDQ536049FDOQ536049

Authors: Dirk Hofmann, Paweł Waszkiewicz 

Publication date: 16 May 2011

Published in: Topology and its Applications (Search for Journal in Brave)

Abstract: Our work is a fundamental study of the notion of approximation in V-categories and in (U,V)-categories, for a quantale V and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of V- and (U,V)-categories. We fully characterize continuous V-categories (resp. (U,V)-categories) among all cocomplete V-categories (resp. (U,V)-categories) in the same ways as continuous domains are characterized among all dcpos. By varying the choice of the quantale V and the notion of ideals, and by further allowing the ultrafilter monad to act on the quantale, we obtain a flexible theory of continuity that applies to partial orders and to metric and topological spaces. We demonstrate on examples that our theory unifies some major approaches to quantitative domain theory.

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

Recommendations

• Convergence and quantale-enriched categories
• A duality of quantale-enriched categories
• An introduction to quantaloid-enriched categories
• Quantifier-complete categories
• Approximate categorical structures
• On quantaloids and quantal categories
• Algebraic and categorical aspects of quantales
• On categorical aspects of \(S\)-quantales
• Quantaloids, enriched categories and automata theory
• Approximating Cartesian closed categories in NF-style set theories

zbMATH Keywords

continuous domainapproximating distributorcomplete distributivityquantale-enriched categoryquantitative domain theoryScott-continuityway-below distributor

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Complete distributivity (06D10) Enriched categories (over closed or monoidal categories) (18D20) Quantales (06F07) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Title not available (Why is that?)
• The Category-Theoretic Solution of Recursive Domain Equations
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Title not available (Why is that?)
• The closure of a class of colimits
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• Quantales and continuity spaces
• Continuity spaces: Reconciling domains and metric spaces
• Complete and directed complete \(\Omega \)-categories
• All Topologies Come From Generalized Metrics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• Weighted colimits and formal balls in generalized metric spaces
• Liminf convergence in \(\Omega\)-categories
• One setting for all: Metric, topology, uniformity, approach structure
• Metric, topology and multicategory -- a common approach
• ``Hausdorff distance via conical cocompletion
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational algebras
• Injective spaces via adjunction
• On the Yoneda completion of a quasi-metric space
• Title not available (Why is that?)
• Topological features of Lax algebras
• A behavioural pseudometric for probabilistic transition systems
• Recursively defined metric spaces without contraction
• Title not available (Why is that?)
• Solving reflexive domain equations in a category of complete metric spaces
• Lawvere completeness in topology
• Topological theories and closed objects
• Duality for distributive spaces
• Relative injectivity as cocompleteness for a class of distributors
• Lawvere completion and separation via closure
• Continuity in quantitative domains
• Processes and the denotational semantics of concurrency
• Completeness of Quasi-Uniform and Syntopological Spaces
• Continuous categories and exponentiable toposes
• Title not available (Why is that?)
• Title not available (Why is that?)
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• The essence of ideal completion in quantitative form
• Domain theory, testing and simulation for labelled Markov processes
• Quasi-uniform completeness in terms of Cauchy nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE

Cited In (30)

• On the quantale of quantic nuclei
• Approaching metric domains
• Cartesian closedness of a category of non-frame valued complete fuzzy orders
• Generalized lower and upper approximations in quantales
• A non-frame valued Cartesian closed category of liminf complete fuzzy orders
• An introduction to quantaloid-enriched categories
• Free \(Q\)-algebras.
• On the power-set \(Q\)-algebras
• Scott approach distance on metric spaces
• A quantified coalgebraic van Benthem theorem
• Distance domains: completeness
• Closedness of the category of liminf complete fuzzy orders
• A four for the price of one duality principle for distributive spaces
• Precoherent quantale completions of partially ordered semigroups
• The topology of a quantale valued metric space
• A new approach to quantitative domain theory
• A duality of quantale-enriched categories
• A few notes on quantum \(B\)-algebras
• A comparative study of ideals in fuzzy orders
• A duality of generalized metric spaces
• Generalized approximation of substructures in quantales by soft relations
• The enriched Vietoris monad on representable spaces
• Two Cartesian closed subcategories of fuzzy domains
• On the injective hulls of quantum B-algebras
• Fuzzy bases of fuzzy domains
• Completely distributive enriched categories are not always continuous
• Semitopological groups, semiclosure semigroups and quantales
• Tameness in generalized metric structures
• Fuzzy \(Z\)-continuous posets
• Title not available (Why is that?)

This page was built for publication: Approximation in quantale-enriched categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q536049)