-semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At the end of the paper, we p...

the paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. motivated by an open question of s. e. rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of l. a. zadeh. on the next step, w...

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.

In this paper, we introduce the concept of Q-P quantale modules. A series of categorical properties of Q-P quantale modules are studied, we prove that the category of Q-P quantale modules is not only pointed and connected, but also completed.

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

While the study of quantale-like structures goes back up to the 1930’s (notwithstanding that the term itself was introduced in [2] in connection with certain aspects of C∗-algebras), there has recently been much interest in quantales in a variety of contexts. The most important connection probably is with Girard’s linear logic. In particular, one can enunciate the following slogan: Quantales ar...

The notion of quantale, which designates a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins, appears in various areasof mathematics-in quantaloid theory, non classical logic as completion the Lindebaum algebra, and different representations spectrum C∗ algebra asmany-valued commutative topologies. To put it briefly, its importance is nolonger...

Suppose (Ω, ∗, I) is a commutative, unital quantale. Categories enriched over Ω can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid o...

For a monad S on a categoryK whose Kleisli category is a quantaloid, we introduce the notion of modularity, in such a way that morphisms in the Kleisli category may be regarded as V(bi)modules (= profunctors, distributors), for some quantale V . The assignment S // V is shown to belong to a global adjunction which, in the opposite direction, associates with every (commutative, unital) quantale ...

We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...