The purpose of this paper is to construct a weak hyper semi-quantale as a generalization of the concept of semi-quantale and used it as an appropriate hyperlattice-theoretic basis to formulate new lattice-valued topological theories. Based on such weak hyper semi-quantale, we aim to construct the notion of a weak hypervalued-topology as a generalized form of the so-called lattice-valued t...

The original definition of a topological space given by Hausdorff used neighborhood systems. Lattice-valued maps appear in this context when you identify a topology with a monoid in the Kleisli category of the filter monad on SET. H?hle’s notion of a lattice-valued topology [2] uses the same idea and it’s inspired in the classical lattice-valued topologies. Ltopological spaces are motivated by ...

This paper is about a generalization of Scott’s domain theory in such a way that its definitions and theorems become meaningful in quasimetric spaces. The generalization is achieved by a change of logic: the fundamental concepts of original domain theory (order, way-below relation, Scott-open sets, continuous maps, etc.) are interpreted as predicates that are valued in an arbitrary completely d...

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

The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Qmodule transforms, is defined. Such operators — that turn out to be precisely the homomorphisms between free objects in those categories — find concrete applications in two different branches of image processing, namely fuzz...

In a recent paper [7], J. W. Pelletier and J. Rosický published a characterization of *-simple *-quantales. Their results were adapted for the case of simple quantales by J. Paseka in [5]. In this paper we present similar characterizations which do not use a notion of discrete quantale. We also show a completely new characterization based on separating and cyclic sets. Further we explain a link...

We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of étale groupoid is subsumed in a natural way by that of quantale. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale. We obtain a bijective correspondence between localic étale groupoids and their quantales, whic...

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