We define a 2-category whose objects are fuzzy sets and whose maps are relations subject to certain natural conditions. We enrich this category with additional monoidal and involutive structure coming from t-norms and negations on the unit interval. We develop the basic properties of this category and consider its relation to other familiar categories. A discussion is made of extending these re...

In this paper, we formalize the Menger probabilistic normed space as a category in which its objects are the Menger probabilistic normed spaces and its morphisms are fuzzy continuous operators. Then, we show that the category of probabilistic normed spaces is isomorphicly a subcategory of the category of topological vector spaces. So, we can easily apply the results of topological vector spaces...

Powerset structures of extensional fuzzy sets in sets with similarity relations are investigated. It is proved that extensional fuzzy sets have powerset structures which are powerset theories in the category of sets with similarity relations, and some of these powerset theories are defined also by algebraic theories (monads). Between Zadeh's fuzzy powerset theory and the classical powerset theo...

We study FTOP (L), a fuzzy category related to topology with fuzzy functions in the role of morphisms.

The paper presents the essential connections between modal-like operators, topologies and fuzzy sets. We show, for example, that each fuzzy set determines a preorder and an Alexandrov topology, and that similar correspondences hold also for the other direction. Further, a category for preorder-based fuzzy sets is defined, and it is shown that its equivalent subcategory of representatives is iso...

The aim of the present paper is to define and study (IC)$LM$-fuzzytopological spaces, a generalization of (weakly) induced $LM$-fuzzytopological spaces. We discuss the basic properties of(IC)$LM$-fuzzy topological spaces, and introduce the notions ofinterior (IC)-fication and exterior (IC)-fication of $LM$-fuzzytopologies and prove that {bf ICLM-FTop} (the category of(IC)$LM$-fuzzy topological ...

This paper introduces a new approach to the theory of Ω-categories enriched by a frame. The approach combines ideas from various areas such as generalized ultrametric domains, Ω-categories, constructive analysis, and fuzzy mathematics. As the basic framework, we use the Wagner’s Ω-category [18,19] with a frame instead of a quantale with unit. The objects and morphisms in the category will be ca...

Some attempts to establish a link between point-free geometry and the categorical approach to fuzzy set theory is exposed. In fact, it is possible to find functors between the category of fuzzy set as defined by Höhle in [4] and a category whose objects are the pointless ultrametric spaces.

In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...

in this paper, let $l$ be a completeresiduated lattice, and let {bf set} denote the category of setsand mappings, $lf$-{bf pos} denote the category of $lf$-posets and$lf$-monotone mappings, and $lf$-{bf cslat}$(sqcup)$, $lf$-{bfcslat}$(sqcap)$ denote the category of $lf$-completelattices and $lf$-join-preserving mappings and the category of$lf$-complete lattices and $lf$-meet-preserving mapping...