Yoneda completeness and flat completeness of ordered fuzzy sets
From MaRDI portal
Publication:2398037
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.
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
Cites work
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3779586 (Why is no real title available?)
- scientific article; zbMATH DE number 3781418 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 1236104 (Why is no real title available?)
- scientific article; zbMATH DE number 2172965 (Why is no real title available?)
- scientific article; zbMATH DE number 896756 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (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 duality of quantale-enriched categories
- A non-commutative and non-idempotent theory of quantale sets
- A note on divisible residuated lattices
- An introduction to quantaloid-enriched categories
- Closedness of the category of liminf complete fuzzy orders
- Complete and directed complete -categories
- Completions of non-symmetric metric spaces via enriched categories
- Concept lattices and order in fuzzy logic
- Continuity spaces: Reconciling domains and metric spaces
- Continuous Lattices and Domains
- Coreflective hull of finite strong L-topological spaces
- Fuzzy preorder and fuzzy topology
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Liminf convergence in \(\Omega\)-categories
- Many-Valued Preorders I: The Basis of Many-Valued Mathematics
- Metamathematics of fuzzy logic
- Metric spaces, generalized logic, and closed categories
- Non-Hausdorff topology and domain theory. Selected topics in point-set topology
- On Domain Theory over Girard Quantales
- On the Yoneda completion of a quasi-metric space
- On the embedding of the top in the category of stratified \(L\)-topological spaces
- On the structure of semi-groups on a compact manifold with boundary
- Order-Topological lattices
- Partial Metric Topology
- Partial quasi-metrics
- Preordered sets valued in a GL-monoid
- Probabilistic metric spaces as enriched categories
- Quantale-valued preorders: globalization and cocompleteness.
- Residuated lattices. An algebraic glimpse at substructural logics
- Similarity relations and fuzzy orderings
- Solving reflexive domain equations in a category of complete metric spaces
- The closure of a class of colimits
- The essence of ideal completion in quantitative form
- The formal ball model for \(\mathcal Q\)-categories
- Triangular norms
- Weighted colimits and formal balls in generalized metric spaces
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)
