Approximation in quantale-enriched categories

DOI10.1016/J.TOPOL.2011.02.003zbMath1233.06004arXiv1004.2228OpenAlexW2962712314MaRDI 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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (27)

An introduction to quantaloid-enriched categories ⋮ Free \(Q\)-algebras. ⋮ Completely distributive enriched categories are not always continuous ⋮ On the power-set \(Q\)-algebras ⋮ Distance Domains: Completeness ⋮ 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 ⋮ Approaching metric domains ⋮ Tameness in generalized metric structures ⋮ A duality of generalized metric spaces ⋮ A duality of quantale-enriched categories ⋮ Unnamed Item ⋮ 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 ⋮ On the quantale of quantic nuclei ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ The topology of a quantale valued metric space ⋮ Scott approach distance on metric spaces ⋮ Semitopological groups, semiclosure semigroups and quantales ⋮ A comparative study of ideals in fuzzy orders ⋮ Precoherent quantale completions of partially ordered semigroups ⋮ A few notes on quantum \(B\)-algebras ⋮ Fuzzy \(Z\)-continuous posets ⋮ On the injective hulls of quantum B-algebras ⋮ Two Cartesian closed subcategories of fuzzy domains

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

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