Value semigroups, value quantales, and positivity domains (Q1789673): Difference between revisions

@@ Property / Wikidata QID @@
+Q58940771
@@ Property / Wikidata QID: Q58940771 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order topological axioms
@@ Property / cites work: First-order topological axioms / rank @@
+Normal rank
@@ Property / cites work @@
+All Topologies Come From Generalized Metrics
@@ Property / cites work: All Topologies Come From Generalized Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and continuity spaces
@@ Property / cites work: Quantales and continuity spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3456848
@@ Property / cites work: Q3456848 / rank @@
+Normal rank
@@ Property / cites work @@
+Some corollaries of the correspondence between partial metrics and multivalued equalities
+Normal rank
@@ Property / cites work @@
+Completion of continuity spaces with uniformly vanishing asymmetry
+Normal rank
@@ Property / cites work @@
+Completeness in quasi-metric spaces and Ekeland variational principle
+Normal rank
@@ Property / cites work @@
+Approaching metric domains
@@ Property / cites work: Approaching metric domains / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic metric spaces as enriched categories
+Normal rank
@@ Property / cites work @@
+Monoidal Topology
@@ Property / cites work: Monoidal Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Buildings and Harmonic Maps
@@ Property / cites work: Constructing Buildings and Harmonic Maps / rank @@
+Normal rank
@@ Property / cites work @@
+Two Cartesian closed subcategories of fuzzy domains
+Normal rank
@@ Property / cites work @@
+Metric characterisation of connectedness for topological spaces
+Normal rank
@@ Property / cites work @@
+A note on the metrizability of spaces
@@ Property / cites work: A note on the metrizability of spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Unified approach to graphs and metric spaces
@@ Property / cites work: Unified approach to graphs and metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+On multisemigroups.
@@ Property / cites work: On multisemigroups. / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and Categorical Aspects of Quantales
@@ Property / cites work: Algebraic and Categorical Aspects of Quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical foundations of topology with applications to quantaloid enriched topological spaces
+Normal rank
@@ Property / cites work @@
+Étale groupoids and their quantales
@@ Property / cites work: Étale groupoids and their quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Functoriality of groupoid quantales. I.
@@ Property / cites work: Functoriality of groupoid quantales. I. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508558
@@ Property / cites work: Q4508558 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales, finite observations and strong bisimulation
+Normal rank
@@ Property / cites work @@
+Non-commutative logical algebras and algebraic quantales
+Normal rank
@@ Property / cites work @@
+Quantales and C∗-Algebras
@@ Property / cites work: Quantales and C∗-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing spatial quantales
@@ Property / cites work: Characterizing spatial quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity, topology, and uniformity
@@ Property / cites work: Similarity, topology, and uniformity / rank @@
+Normal rank
@@ Property / cites work @@
+Q2954179
@@ Property / cites work: Q2954179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4600947
@@ Property / cites work: Q4600947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4679165
@@ Property / cites work: Q4679165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551182
@@ Property / cites work: Q4551182 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to quantaloid-enriched categories
@@ Property / cites work: An introduction to quantaloid-enriched categories / rank @@
+Normal rank
@@ Property / cites work @@
+Completely Distributive Complete Lattices
@@ Property / cites work: Completely Distributive Complete Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A Subdirect-Union Representation for Completely Distributive Complete Lattices
+Normal rank
@@ Property / cites work @@
+Tight Galois Connections and Complete Distributivity
+Normal rank
@@ Property / cites work @@
+A representation theorem for quantales
@@ Property / cites work: A representation theorem for quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings of quantales into simple quantales
@@ Property / cites work: Embeddings of quantales into simple quantales / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Metric axioms: a structural study
@@ Property / cites work: Metric axioms: a structural study / rank @@
+Normal rank
@@ Property / cites work @@
+Q3456861
@@ Property / cites work: Q3456861 / rank @@
+Normal rank