Considering a commutative unital quantale L as the truth value table and using the tool of L-generalized convergence structures of stratified L-filters, this paper introduces a kind of fuzzy upper topology, called fuzzy S-upper topology, on L-preordered sets. It is shown that every fuzzy join-preserving L-subset is open in this topology. When L is a complete Heyting algebra, for every completel...

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

The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert A-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular involutive quantales are Morita equivalent if and only if they are isomorphic. In the paper [5] F. Borceux and E.M. Vitale made a first step in extending the theory o...

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

We associate a canonical unital involutive quantale to a topological groupoid. When the groupoid is also étale, this association is compatible with but independent from the theory of localic étale groupoids and their quantales [19] of P. Resende. As a motivating example, we describe the connection between the quantale and the C∗-algebra that both classify Penrose tilings, which was left as an o...

Hausdorff and Gromov distances are introduced and treated in the context of categories enriched over a commutative unital quantale V . The Hausdorff functor which, for every V-category X, provides the powerset of X with a suitable V-category structure, is part of a monad on V-Cat whose Eilenberg-Moore algebras are order-complete. The Gromov construction may be pursued for any endofunctor K of V...

1 Quantales In this section we introduce the basic deenitions and results of the theory of quantales (a good reference is Ros]). Quantales were introduced by Mulvey ((Mul]) as an algebraic tool for studying representations of non-commutative C-algebras. Informally, a quantale is a complete lattice Q equipped with a product distributive over arbitrary sup's. The importance of quantales for Linea...

The definition of a category of (T,V)-algebras, where V is a unital commutative quantale and T is a Set-monad, requires the existence of a certain lax extension of T. In this article, we present a general construction of such an extension. This leads to the formation of two categories of (T,V)-algebras: the category Alg(T,V) of canonical (T,V)-algebras, and the category Alg(T′,V) of op-canonica...

This article is concerned with Alexandroff L-topological spaces and L-co-topological spaces, where L is a commutative, unital quantale. On one hand, an example is given to show that there is a finite strong L-topological space that is not Alexandroff. On the other hand, it is proved that every finite strong L-co-topological space is Alexandroff and that the category of Alexandroff strong L-co-t...

Recently, I. Stubbe constructed an isomorphism between the categories of right Q-modules and cocomplete skeletal Q-categories for a given unital quantale Q. Employing his results, we obtain an isomorphism between the categories of Q-algebras and Q-quantales, where Q is additionally assumed to be commutative. As a consequence, we provide a common framework for two concepts of lattice-valued fram...