Quantales and continuity spaces
From MaRDI portal
Publication:1272108
DOI10.1007/s000120050018zbMath0906.54024OpenAlexW2121615522MaRDI QIDQ1272108
Publication date: 23 November 1998
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000120050018
generalized metric spacecompletely distributive latticecontinuity spacevalue semigroupsinduced topologyvalue distributive latticevalue quantale
Complete distributivity (06D10) Topological spaces with richer structures (54E99) Ordered semigroups and monoids (06F05)
Related Items
The Wijsman structure of a quantale-valued metric space, Metric characterisation of connectedness for topological spaces, Some corollaries of the correspondence between partial metrics and multivalued equalities, The asymmetric topology of computer science, Quantale-valued Cauchy tower spaces and completeness, Representations of bornologies, The notion of closedness and D-connectedness in Quantale-valued approach spaces, Generalized ultrametric spaces in quantitative domain theory, A generalized distance based on a generalized triangle inequality, Approximation, solution operators and quantale-valued metrics, Injective hulls of quantale-enriched multicategories, Unnamed Item, Approaching metric domains, Continuity spaces: Reconciling domains and metric spaces, Quantales, generalised premetrics and free locales, Τ-quasi-Cauchy spaces - a non-symmetric theory of completeness and completion, A point-free perspective on lax extensions and predicate liftings, Unnamed Item, Constructing Buildings and Harmonic Maps, Tameness in generalized metric structures, Unnamed Item, A duality of quantale-enriched categories, Fuzzy cut-stable map and its extension property1, A quantified coalgebraic van Benthem theorem, Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence, A categorical approach to the maximum theorem, The limit–colimit coincidence theorem for -categories, A COMMON FRAMEWORK FOR LATTICE-VALUED, PROBABILISTIC AND APPROACH UNIFORM (CONVERGENCE) SPACES, QUANTALE-VALUED GAUGE SPACES, Convergence and quantale-enriched categories, Pre-Hausdorff and Hausdorff objects in the category of quantale-valued closure spaces, Completion of continuity spaces with uniformly vanishing asymmetry, Approximation in quantale-enriched categories, Complete Regularity: Kopperman's duality {\it \`{a} la quantale}, Unnamed Item, Lawvere completion and separation via closure, Hausdorff coalgebras, Value semigroups, value quantales, and positivity domains, The topology of a quantale valued metric space, Quantale-valued generalizations of approach spaces and quantale-valued topological spaces, Representing topologies using partially ordered semigroups, The formal ball model for -categories, Fuzzy Topologies and Fuzzy Preorders Based on Complete Co-residuated Lattices, Metagories, Fuzzy complete lattices, Topology, domain theory and theoretical computer science, Unnamed Item, A note on the metrizability of spaces, The essence of ideal completion in quantitative form, On the Yoneda completion of a quasi-metric space, Two Cartesian closed subcategories of fuzzy domains, Quantale-Valued Generalizations of Approach Groups, Quantale-Valued Uniformizations of Quantale-Valued Generalizations of Approach Groups