Quantale-valued preorders: globalization and cocompleteness.

DOI10.1016/j.fss.2012.09.013zbMath1337.06010OpenAlexW2250585094WikidataQ58331912 ScholiaQ58331912MaRDI QIDQ277350

Yuanye Tao, Hongliang Lai, Dexue Zhang

Publication date: 29 April 2016

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2012.09.013

zbMATH Keywords

quantaloidscocompletenessenriched categoriesunital quantalesdivisible quantalesfuzzy preordersglobalization functorsquantale-valued preordersquantale-valued subsets

Mathematics Subject Classification ID

Partial orders, general (06A06) Other algebras related to logic (03G25) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

An introduction to quantaloid-enriched categories, Lax distributive laws for topology, II, Yoneda completeness and flat completeness of ordered fuzzy sets, The double power monad is the composite power monad, Monoids with quantale-valued preorders: globalizations and localizations, Diagonals between \(\mathcal{Q}\)-distributors, Unnamed Item, Unnamed Item, \(\mathcal{Q}\)-closure spaces, Variety theorem for algebras with fuzzy orders, Continuous triangular norm based fuzzy topology, Stratified categorical fixed-basis fuzzy topological spaces and their duality, The topology of a quantale valued metric space, Some properties of \(M\)-fuzzifying convexities induced by \(M\)-orders, Fuzzy Galois connections on fuzzy sets, A comparative study of ideals in fuzzy orders, Towards probabilistic partial metric spaces: diagonals between distance distributions

Cites Work

• Preordered sets valued in a GL-monoid
• A non-commutative and non-idempotent theory of quantale sets
• Partial quasi-metrics
• A computational model for metric spaces
• Weighted colimits and formal balls in generalized metric spaces
• Liminf convergence in \(\Omega\)-categories
• Triangular norms
• Concept lattices and order in fuzzy logic
• Complete and directed complete \(\Omega \)-categories
• Similarity relations and fuzzy orderings
• The formal ball model for -categories
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Metric spaces, generalized logic, and closed categories
• Partial Metric Topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item