A duality of quantale-enriched categories
From MaRDI portal
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3870293 (Why is no real title available?)
- scientific article; zbMATH DE number 3971005 (Why is no real title available?)
- scientific article; zbMATH DE number 3666860 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 1463530 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (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 Subdirect-Union Representation for Completely Distributive Complete Lattices
- A computational model for metric spaces
- A duality of generalized metric spaces
- A quantitative computational model for complete partial metric spaces via formal balls
- Approximation in quantale-enriched categories
- Choiceless, pointless, but not useless: dualities for preframes
- Completions of non-symmetric metric spaces via enriched categories
- Constructive complete distributivity. I
- Constructive complete distributivity. IV
- Continuous categories and exponentiable toposes
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Metric spaces, generalized logic, and closed categories
- Metric, topology and multicategory -- a common approach
- Monads for which structures are adjoint to units
- One setting for all: Metric, topology, uniformity, approach structure
- Quantales and continuity spaces
- The closure of a class of colimits
- The formal ball model for \(\mathcal Q\)-categories
- The space of formal balls and models of quasi-metric spaces
- Topological features of Lax algebras
- Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories
- Yoneda structures on 2-categories
Cited in
(18)- Convergence and quantale-enriched categories
- Scott approach distance on metric spaces
- Approximation in quantale-enriched categories
- Enriched Stone-type dualities
- Closedness of the category of liminf complete fuzzy orders
- Distance domains: completeness
- scientific article; zbMATH DE number 5595959 (Why is no real title available?)
- Categorical dualities between certain kinds of fuzzy posets
- The topology of a quantale valued metric space
- scientific article; zbMATH DE number 7646807 (Why is no real title available?)
- A duality of generalized metric spaces
- A comparative study of ideals in fuzzy orders
- Fuzzy bases of fuzzy domains
- Yoneda completeness and flat completeness of ordered fuzzy sets
- Completely distributive enriched categories are not always continuous
- Quantified functional analysis and seminormed spaces: a dual adjunction
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- 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)
