Yoneda completeness and flat completeness of ordered fuzzy sets
From MaRDI portal
Publication:2398037
DOI10.1016/J.FSS.2016.06.009zbMATH Open1393.03035DBLPjournals/fss/LiLZ17arXiv1607.03212OpenAlexW2440211685WikidataQ58331900 ScholiaQ58331900MaRDI QIDQ2398037FDOQ2398037
Authors: Wei Li, Hongliang Lai, Dexue Zhang 
Publication date: 15 August 2017
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Abstract: This paper studies Yoneda completeness and flat completeness of ordered fuzzy sets valued in the quantale obtained by endowing the unit interval with a continuous triangular norm. Both of these notions are natural extension of directed completeness in order theory to the fuzzy setting. Yoneda completeness requires every forward Cauchy net converges (has a Yoneda limit), while flat completeness requires every flat weight (a counterpart of ideals in partially ordered sets) has a supremum. It is proved that flat completeness implies Yoneda completeness, but, the converse implication holds only in the case that the related triangular norm is either isomorphic to the Lukasiewicz t-norm or to the product t-norm.
Full work available at URL: https://arxiv.org/abs/1607.03212
Recommendations
- Formal balls in fuzzy quasi-metric spaces
- Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets
- Closedness of the category of liminf complete fuzzy orders
- The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls
- Yoneda completeness
category theoryquantalequantaloidcontinuous t-normYoneda completeflat completeflat weightforward Cauchy netordered fuzzy setYoneda limit
Cites Work
- Triangular norms
- Concept lattices and order in fuzzy logic
- Partial Metric Topology
- Metamathematics of fuzzy logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Title not available (Why is that?)
- Title not available (Why is that?)
- Partial quasi-metrics
- The closure of a class of colimits
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Continuity spaces: Reconciling domains and metric spaces
- Complete and directed complete \(\Omega \)-categories
- On Domain Theory over Girard Quantales
- Metric spaces, generalized logic, and closed categories
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- Weighted colimits and formal balls in generalized metric spaces
- Liminf convergence in \(\Omega\)-categories
- Similarity relations and fuzzy orderings
- An introduction to quantaloid-enriched categories
- Quantale-valued preorders: globalization and cocompleteness.
- The formal ball model for \(\mathcal Q\)-categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Preordered sets valued in a GL-monoid
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- A non-commutative and non-idempotent theory of quantale sets
- Probabilistic metric spaces as enriched categories
- On the structure of semi-groups on a compact manifold with boundary
- Fuzzy preorder and fuzzy topology
- On the Yoneda completion of a quasi-metric space
- Solving reflexive domain equations in a category of complete metric spaces
- Coreflective hull of finite strong L-topological spaces
- Completions of non-symmetric metric spaces via enriched categories
- A duality of quantale-enriched categories
- The essence of ideal completion in quantitative form
- Closedness of the category of liminf complete fuzzy orders
- On the embedding of the top in the category of stratified \(L\)-topological spaces
- Order-Topological lattices
- Many-Valued Preorders I: The Basis of Many-Valued Mathematics
- A note on divisible residuated lattices
Cited In (9)
- Algebraic representation of frame-valued continuous lattices via the open filter monad
- The relationships between KM-fuzzy quasi-metric spaces and the associated posets of formal balls
- A comparative study of ideals in fuzzy orders
- Fuzzy Galois connections on fuzzy sets
- Continuous triangular norm based fuzzy topology
- Diagonals between \(\mathcal{Q}\)-distributors
- Some properties of \(M\)-fuzzifying convexities induced by \(M\)-orders
- Sober metric approach spaces
- On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices
This page was built for publication: Yoneda completeness and flat completeness of ordered fuzzy sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2398037)
