A duality of quantale-enriched categories

DOI10.1016/j.jpaa.2012.02.024zbMath1280.18007arXiv1012.3351OpenAlexW1998719458MaRDI QIDQ456860

Paweł Waszkiewicz, Dirk Hofmann

Publication date: 16 October 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

quantalescontinuous dcpoLawson dualityquantale-enriched categories

Mathematics Subject Classification ID

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

Related Items

Completely distributive enriched categories are not always continuous ⋮ Distance Domains: Completeness ⋮ Fuzzy bases of fuzzy domains ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Unnamed Item ⋮ Convergence and quantale-enriched categories ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ The topology of a quantale valued metric space ⋮ Scott approach distance on metric spaces ⋮ A comparative study of ideals in fuzzy orders ⋮ Fuzzy \(Z\)-continuous posets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximation in quantale-enriched categories
• A duality of generalized metric spaces
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• The closure of a class of colimits
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• A computational model for metric spaces
• Continuous categories and exponentiable toposes
• Yoneda structures on 2-categories
• Quantales and continuity spaces
• Constructive complete distributivity. IV
• Topological features of Lax algebras
• One setting for all: Metric, topology, uniformity, approach structure
• Metric, topology and multicategory -- a common approach
• Monads for which structures are adjoint to units
• Choiceless, pointless, but not useless: dualities for preframes
• The formal ball model for -categories
• Constructive complete distributivity. I
• The space of formal balls and models of quasi-metric spaces
• A quantitative computational model for complete partial metric spaces via formal balls
• Metric spaces, generalized logic, and closed categories
• A Subdirect-Union Representation for Completely Distributive Complete Lattices