In this paper, we study the relations (L, )-fuzzy topologies and (L, )-filters on strictly two-sided, commutative quantale lattices (L, ) and (L, ∗). Mathematics Subject Classification: 03E72, 54A40, 54B10

In this paper, we study (L, )-fuzzy topologies induced by operations and (L, )-filters on strictly two-sided, commutative quantale lattices (L, ) and (L, ∗). Mathematics Subject Classification: 03E72, 54A40, 54B10

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...

We introduce the notion of tropical Lagrangian multi-sections over a $2$-dimensional integral affine manifold $B$ with singularities, and use them to study reconstruction problem for higher rank locally free sheaves Calabi-Yau surfaces. To certain $\mathbb{L}$ $B$, which are explicitly constructed by prescribing local models around ramification points, we construct $\mathcal{E}_0(\mathbb{L},{\b...

Each divisible and unital quantale is associated with two quantaloids. Categories enriched over these two quantaloids can be regarded respectively as crisp sets endowed with fuzzy preorders and fuzzy sets endowed with fuzzy preorders. This paper deals with the relationship between these two kinds of enriched categories. This is a special case of the change-base issue in enriched category theory...

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 ...

Fix integers r, k, g with r > k > 0 and g ≥ 2. Let X be an integral projective curve with g := pa(X) and E a rank r torsion free sheaf on X which is a flat limit of a family of locally free sheaves on X. Here we prove the existence of a rank k subsheaf A of E such that r(deg(A)) ≥ k(deg(E)) − k(r − k)g. We show that for every g ≥ 9 there is an integral projective curve X,X not Gorenstein, and a...

Let R be a ring and n a fixed positive integer, we investigate the properties of n-strongly Gorenstein projective, injective and flat modules. Using the homological theory , we prove that the tensor product of an n-strongly Gorenstein projective (flat) right R -module and projective (flat) left R-module is also n-strongly Gorenstein projective (flat). Let R be a coherent ring ,we prove that the...

In this paper, we take a GL-quantale as the truth value table to study a new rough set model—L-valued fuzzy rough sets. The three key components of this model are: an L-fuzzy set A as the universal set, an L-valued relation of A and an L-fuzzy set of A (a fuzzy subset of fuzzy sets). Then L-valued fuzzy rough sets are completely characterized via both constructive and axiomatic approaches. 

Some uniform categorical theoretical treatment of automata and lattice-valued fuzzy automata using quantale theory is studied in this paper. First, L-relational sheaves on a monoidM andQ-enriched categories are introduced for quantales L andQ, the equivalence of the corresponding categories are proved next. Then lattice-valued (fuzzy) automata are described by Q-enriched categories. In fact, la...