In this paper, we introduce the notion of {bf K}-flat projective fuzzy quantales, and give an elementary characterization in terms of a fuzzy binary relation on the fuzzy quantale. Moreover, we  prove that {bf K}-flat projective fuzzy quantales are precisely the coalgebras for a certain comonad on the category of fuzzy quantales. Finally, we present two special cases of {bf K} as examples.

In fairly elementary terms this paper presents how the theory of preordered fuzzy sets, more precisely quantale-valued preorders on quantale-valued fuzzy sets, is established under the guidance of enriched category theory. Motivated by several key results from the theory of quantaloid-enriched categories, this paper develops all needed ingredients purely in order-theoretic languages for the rea...

‎Let $C$ be a semidualizing module‎. ‎We first investigate the properties of‎ ‎finitely generated $G_C$-projective modules‎. ‎Then‎, ‎relative to $C$‎, ‎we introduce and study the rings over which‎ ‎every submodule of a projective (flat) module is $G_C$-projective (flat)‎, ‎which we call $C$-Gorenstein (semi)hereditary rings‎. ‎It is proved that every $C$-Gorenstein hereditary ring is both cohe...

The topic of sets with fuzzy order relations valuated in complete lattices with additional structure has been quite active in the recent decade, and a number of papers have been published (see [3, 5, 6] among many others). Based on a quantale-valued order relation and subset membership, counterparts to common order-theoretic notions can be defined, like monotone mappings, adjunctions, joins and...

In this paper, projective modules over a quantale are characterized by distributivity, continuity, and adjointness conditions. It is then show that a morphism Q // A of commutative quantales is coexponentiable if and only if the corresponding Q-module is projective, and hence, satisfies these equivalent conditions.

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

We prove various extensions of the Local Flatness Criterion over a Noetherian local ring R with residue field k. For instance, if Ω is a complete R-module of finite projective dimension, then Ω is flat if and only if Torn (Ω, k) = 0 for all n = 1, . . . , depth(R). In low dimensions, we have the following criteria. If R is onedimensional and reduced, then Ω is flat if and only if Tor1 (Ω, k) = ...

A bstract We consider the fuzzy 4-sphere $$ {S}_N^4 S N 4 as a background in IKKT matrix model, and explore relation between twistor space semi-classical limit. novel description for IKKT-matrix model terms of spinorial indices is given, which rem...

In fuzzy set theory non-idempotency arises when the conjunction is interpreted by arbitrary t-norms. There are many instances in mathematics where set theory ought to be non-commutative and/or non-idempotent. The purpose of this paper is to combine both ideas and to present a theory of non-commutative and non-idempotent quantale sets (among other things, standard concepts like fuzzy preorders a...

The notion of sobriety is extended to the realm topological spaces valued in a commutative and unital quantale, via an adjunction between category quantale modules quantale-valued spaces. Relations such sober domains based on flat ideals are investigated. In particular, it shown that if unit element coincides with its top element, then every domain (relative ideals) Scott topology space.