BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Dexue Zhang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A monad is constructed in the Goguen category of fuzzy sets valued in a unital quantale, which is an analog of the double contravariant powerset monad in the category of sets. With help of this monad it is proved that the Goguen category of fuzzy sets is dually monadic over itself.
In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t-norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.
Inspired by the theory of apartness relations of Scott, we establish a positive theory of dissimilarity valued in an involutive quantale $\mathsf{Q}$ without the aid of negation. It is demonstrated that a set equipped with a $\mathsf{Q}$-valued dissimilarity is precisely a symmetric category enriched in a subquantaloid of the quantaloid of back diagonals of $\mathsf{Q}$. Interactions between $\mathsf{Q}$-valued dissimilarities and $\mathsf{Q}$-valued similarities (which are equivalent to $\mathsf{Q}$-valued equalities in the sense of H{ö}hle--Kubiak) are investigated with the help of lax functors. In particular, it is shown that similarities and dissimilarities are interdefinable if $\mathsf{Q}$ is a Girard quantale with a hermitian and cyclic dualizing element.
This paper considers some extensions of the notion of filter to the quantale-valued context, including saturated prefilter, $\top$-filter and bounded saturated prefilter. The question is whether these constructions give rise to monads on the category of sets. It is shown that the answer depends on the structure of the quantale. Specifically, if the quantale is the unit interval equipped with a continuous t-norm, then these constructions give rise to monads if and only if the implication operator corresponding to that t-norm is continuous at each point off the diagonal.
Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid $\mathcal{Q}$. These notions, meaningful for closed bicategories, dualize the constructions of arrow categories and the Freyd completion of categories. It is shown that, for a small quantaloid $\mathcal{Q}$, the category of complete $\mathcal{Q}$-categories and left adjoints is a retract of the dual of the category of $\mathcal{Q}$-distributors and Chu connections, and it is dually equivalent to the category of $\mathcal{Q}$-distributors and back diagonals. As an application of Chu connections, a postulation of the intuitive idea of reduction of formal contexts in the theory of formal concept analysis is presented, and a characterization of reducts of formal contexts is obtained.
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.
Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphisms between distributors; and that the free cocompletion functor of Q-categories factors through both of these functors.