A duality of quantale-enriched categories

DOI10.1016/J.JPAA.2012.02.024zbMATH Open1280.18007arXiv1012.3351OpenAlexW1998719458MaRDI QIDQ456860FDOQ456860

Authors: Dirk Hofmann, Paweł Waszkiewicz 

Publication date: 16 October 2012

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

Abstract: We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the category of J-cocomplete and J-continuous quantale-enriched categories is self-dual.

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

Recommendations

• Duality theory for enriched Priestley spaces
• Enriched Stone-type dualities
• A duality of generalized metric spaces
• scientific article; zbMATH DE number 7731060
• Quantale-enriched multicategories via actions

zbMATH Keywords

quantalescontinuous dcpoLawson dualityquantale-enriched categories

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)

Cites Work

• Title not available (Why is that?)
• A quantitative computational model for complete partial metric spaces via formal balls
• A computational model for metric spaces
• The space of formal balls and models of quasi-metric spaces
• 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
• Monads for which structures are adjoint to units
• Title not available (Why is that?)
• Title not available (Why is that?)
• Metric spaces, generalized logic, and closed categories
• Title not available (Why is that?)
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
• Yoneda structures on 2-categories
• One setting for all: Metric, topology, uniformity, approach structure
• Metric, topology and multicategory -- a common approach
• The formal ball model for \(\mathcal Q\)-categories
• Title not available (Why is that?)
• Approximation in quantale-enriched categories
• Title not available (Why is that?)
• Topological features of Lax algebras
• Choiceless, pointless, but not useless: dualities for preframes
• Continuous categories and exponentiable toposes
• Constructive complete distributivity. IV
• Constructive complete distributivity. I
• Completions of non-symmetric metric spaces via enriched categories
• Title not available (Why is that?)
• A duality of generalized metric spaces

Cited In (18)

• Convergence and quantale-enriched categories
• Scott approach distance on metric spaces
• Approximation in quantale-enriched categories
• Enriched Stone-type dualities
• Distance domains: completeness
• Closedness of the category of liminf complete fuzzy orders
• Title not available (Why is that?)
• Categorical dualities between certain kinds of fuzzy posets
• The topology of a quantale valued metric space
• Title not available (Why is that?)
• A comparative study of ideals in fuzzy orders
• A duality of generalized metric spaces
• Fuzzy bases of fuzzy domains
• Completely distributive enriched categories are not always continuous
• Yoneda completeness and flat completeness of ordered fuzzy sets
• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
• Quantified functional analysis and seminormed spaces: a dual adjunction
• Fuzzy \(Z\)-continuous posets

This page was built for publication: A duality of quantale-enriched categories

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