Cartesian closedness of a category of non-frame valued complete fuzzy orders
Introduction
The notion of fuzzy order [28] was introduced by Zadeh in 1971. Since then, theoretical and applicational aspects of fuzzy orders have been developed rapidly. Along this line, the concept of L-ordered sets was introduced in [3]. L-ordered sets in the sense of [3] not only extend the truth-value set to be a complete residuated lattice but also modify the original antisymmetry condition. Categorically speaking, an L-ordered set is just an L-enriched category [12], [13], [23], [24].
In 1994, quantale-enriched categories were introduced to the study of domain theory [1], [8] as a unification of metric and order theoretical approach to domain theory [23], [24]. As a particular quantale-enriched category, Fan introduced the notion of L-Fuzzy poset [6] as a fuzzy approach to study quantitative domain theory. At present, many basic concepts such as ideal, continuity and Scott topology in domain theory have been extended to the framework of quantale-enriched categories [9], [10], [13], [25], [26], [27], [29].
Due to the strong application background, Cartesian closed categories of domains play an important role in domain theory. Although concepts such as ideal and continuity and some important results have been extended to the L-valued setting with L being a complete residuated lattice, the fruitful results about Cartesian closed categories in domain theory can hardly be extended to the L-valued setting with L being a complete residuated lattice. In [27], it is proved that the category of fuzzy dcpos (a fuzzy dcpo is a fuzzy poset in which every fuzzy directed set has a join [27]) is Cartesian closed. Later, it is proved that the category of fuzzy continuous lattices and the category of fuzzy algebraic lattices are Cartesian closed [15]. We note that all these results are obtained under the assumption that the truth-value lattice is a frame. Recall that a frame is just a complete Heyting algebra [11]. In the fuzzy community, one can argue that this assumption is too limited. Thus, can we extend those results to a more general setting is an interesting work. In other words, the problem is whether we can extend the truth-value lattice to be a proper complete residuated lattice. In fact, exponentiation in quantale-enriched categories have been characterized by Clementino and Hofmann in [5]. Generally speaking, quantale-enriched categories are not Cartesian closed. We know the unit interval play an important in the study of fuzzy mathematics. Let be the unit interval equipped with a continuous t-norm. In [14], it is proved that the category Liminf of liminf complete fuzzy orders and liminf continuous maps is Cartesian closed if and only if & is the t-norm min.
Let H be the three-valued MV-algebra. In [14], it is proved that the category of H-ordered sets Ord(H) is Cartesian closed. As a continuation, in [16] it is further proved that the category of liminf complete H-ordered sets is Cartesian closed. These results seem to be promising to provide us a platform to construct Cartesian closed categories of quantitative domains in the framework of non-frame valued setting. Naturally, we can ask whether the category of complete H-ordered sets is Cartesian closed.
In this paper, a counterexample is given which shows that the function space of two complete H-ordered sets may not be complete. Thus, perhaps disappointing, we obtain that the category of complete H-ordered sets is not Cartesian closed. Additionally, we show that the category of conically cocomplete H-ordered sets is Cartesian closed.
Section snippets
L-ordered sets
In this paper, always denotes a complete residuated lattice [3]. For concepts and results in domain theory and category theory, we refer to [2], [8], [12].
Definition 2.1 An L-ordered set is a pair such that A is a set and is a map, called an L-order, that satisfies for every , (reflexivity); (transitivity); implies (antisymmetry).Wagner [23], Fan [6], Bělohlávek [3]
A complete residuated lattice is a commutative unital quantale [18]. Thus, an L-ordered set in the
Cartesian closedness of the category of complete H-ordered sets
The complete residuated lattice considered in this note is the MV-algebra H with three elements. Precisely, and for all . For more information about H, we refer to [4], [7], [17]. Clearly, is a frame [11]. We note that connectives on three values and their relations are extensively exposed in [4]. By Table 1 in [4], we know & is the unique conjunction on H such that is a complete residuated lattice and . The right adjoint for and will be
Conclusion
Since the category of liminf complete H-ordered sets is Cartesian closed, it was natural to believe that the category of complete H-ordered sets should be Cartesian closed as well. But, in this paper, we obtain that this category is not Cartesian closed. This seems counter-intuitive. Main reason behind it is that liminf completeness does not require tensor completeness. Similarly, conical cocompleteness does not require tensor completeness, thus it is easy to show that the category of conically
Acknowledgements
The author would like to express his sincere gratitude to the editors and reviewers. This work is supported by the National Natural Science Foundation of China (Grant Nos. 11501048, 11871320) and the Fundamental Research Funds for the Central Universities (Grant No. 300102128102).
References (29)
- et al.
A map of dependencies among three-valued logics
Inf. Sci.
(2013) - et al.
Exponentiation in V-categories
Topol. Appl.
(2006) A new approach to quantitative domain theory
Electron. Notes Theor. Comput. Sci.
(2001)Contrapositive symmetry of fuzzy implications
Fuzzy Sets Syst.
(1995)- et al.
Approximation in quantale-enriched categories
Topol. Appl.
(2011) - et al.
Complete and directed complete Ω-categories
Theor. Comput. Sci.
(2007) - et al.
Closedness of the category of liminf complete fuzzy orders
Fuzzy Sets Syst.
(2016) - et al.
Two Cartesian closed subcategories of fuzzy domains
Fuzzy Sets Syst.
(2014) - et al.
A non-frame valued Cartesian closed category of liminf complete fuzzy orders
Fuzzy Sets Syst.
(2017) - et al.
The use of fuzzy outranking relations in preference modelling
Fuzzy Sets Syst.
(1992)