The concept of quantum triad has been introduced by D. Kruml [6], where for a given pair of quantale modules L,R over a common quantale Q, endowed with a bimorphism (a ‘bilinear map’) to Q, a construction equipping L and R with additional module structure and another bimorphism, both compatible with the existing bimorphism and action of the quantale, was presented. As the original concept was o...

It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define may not have unit. We develop the elementary theory of these structures and show, in particular, how to nuclei whose quotients quantales. This yields phase semantics representation theorem via Important examples arise from Raney’s notion tight Galois connection: endomap...

in this paper we introduce the notions of fuzzy transposition hypergroupsand fuzzy regular relations and investigate their basic properties.we also study fuzzy quotient hypergroups of a fuzzy transposition hypergroup.

By introducing lattice-valued covers of a set, we present a general framework for uniform structures on very general L-valued spaces (for L an integral commutative quantale). By showing, via an intermediate L-valued structure of uniformity, how filters of covers may describe the uniform operators of Hutton, we prove that, when restricted to Girard quantales, this general framework captures Hutt...

We study properties of the quantale spectrum MaxA of an arbitrary unital C*-algebra A. In particular we show that the spatialization of MaxA with respect to one of the notions of spatiality in the literature yields the locale of closed ideals of A when A is commutative. We study under general conditions functors with this property, in addition requiring that colimits be preserved, and we conclu...

The approach to process semantics using quantales and modules is topologized by considering tropological systems whose sets of states are replaced by locales and which satisfy a suitable stability axiom. A corresponding notion of localic suplattice (algebra for the lower powerlocale monad) is described, and it is shown that there are contravariant functors from sup-lattices to localic sup-latic...

fuzzy order congruences play an important role in studying the categoricalproperties of fuzzy posets. in this paper, the correspondence between the fuzzyorder congruences and the fuzzy order-preserving maps is discussed. we focus onthe characterization of fuzzy order congruences on the fuzzy poset in terms ofthe fuzzy preorders containing the fuzzy partial order. at last, fuzzy completecongruen...

We investigate those lax extensions of a Set-monad T = (T,m, e) to the category V-Rel of sets and V-valued relations for a quantale V = (V,⊗, k) that are fully determined by maps ξ : TV → V . We pay special attention to those maps ξ that make V a T-algebra and, in fact, (V,⊗, k) a monoid in the category SetT with its cartesian structure. Any such map ξ forms the main ingredient to Hofmann’s not...