Approximation in quantale-enriched categories
From MaRDI portal
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.
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
Cites work
- scientific article; zbMATH DE number 4212991 (Why is no real title available?)
- scientific article; zbMATH DE number 3971005 (Why is no real title available?)
- scientific article; zbMATH DE number 4094358 (Why is no real title available?)
- scientific article; zbMATH DE number 1258304 (Why is no real title available?)
- scientific article; zbMATH DE number 554487 (Why is no real title available?)
- scientific article; zbMATH DE number 1101628 (Why is no real title available?)
- scientific article; zbMATH DE number 1107490 (Why is no real title available?)
- scientific article; zbMATH DE number 1498617 (Why is no real title available?)
- scientific article; zbMATH DE number 1796614 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 1924517 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 2222240 (Why is no real title available?)
- scientific article; zbMATH DE number 2236038 (Why is no real title available?)
- A behavioural pseudometric for probabilistic transition systems
- All Topologies Come From Generalized Metrics
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Complete and directed complete -categories
- Completeness of Quasi-Uniform and Syntopological Spaces
- Continuity in quantitative domains
- Continuity spaces: Reconciling domains and metric spaces
- Continuous Lattices and Domains
- Continuous categories and exponentiable toposes
- Domain theory, testing and simulation for labelled Markov processes
- Duality for distributive spaces
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Injective spaces via adjunction
- Lawvere completeness in topology
- Lawvere completion and separation via closure
- Liminf convergence in \(\Omega\)-categories
- Metric, topology and multicategory -- a common approach
- On the Yoneda completion of a quasi-metric space
- One setting for all: Metric, topology, uniformity, approach structure
- Processes and the denotational semantics of concurrency
- Quantales and continuity spaces
- Quasi-uniform completeness in terms of Cauchy nets
- Recursively defined metric spaces without contraction
- Relational algebras
- Relative injectivity as cocompleteness for a class of distributors
- SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE
- Solving reflexive domain equations in a category of complete metric spaces
- The Category-Theoretic Solution of Recursive Domain Equations
- The closure of a class of colimits
- The essence of ideal completion in quantitative form
- Topological features of Lax algebras
- Topological theories and closed objects
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Weighted colimits and formal balls in generalized metric spaces
- ``Hausdorff distance via conical cocompletion
Cited in
(30)- scientific article; zbMATH DE number 7731060 (Why is no real title available?)
- Approaching metric domains
- On the quantale of quantic nuclei
- 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
- Closedness of the category of liminf complete fuzzy orders
- Distance domains: completeness
- 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 duality of quantale-enriched categories
- A new approach to quantitative domain theory
- A few notes on quantum \(B\)-algebras
- A duality of generalized metric spaces
- A comparative study of ideals in fuzzy orders
- 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
- Semitopological groups, semiclosure semigroups and quantales
- Tameness in generalized metric structures
- Completely distributive enriched categories are not always continuous
- Fuzzy \(Z\)-continuous posets
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)
