It is observed that the axioms for partial metrics with values in quantales coincide with the axioms for Q-sets (M -valued sets, sets with fuzzy equality, quantale-valued sets) for commutative quantales. Ω-sets correspond to the case of partial ultrametrics.

We show that for a commutative quantale V every functor Set −→ V -cat has an enriched leftKan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V -cat. Moreover, one can build functors on V -cat by equipping Set-functors with a metric. 1998 ACM Subject Classification F.4.1 Mathematical Logic

If the standard concepts of partial-order relation and subset are fuzzified, taking valuation in a unital commutative quantale Q, corresponding concepts of joins and join-preserving mappings can be introduced. We present constructions of limits, colimits and Hom-objects in categories Q-Sup of Q-valued fuzzy joinsemilattices, showing the analogy to the ordinary category Sup of join-semilattices.

Various notions of observing and testing processes are placed in a uniform algebraic framework in which observations are taken as constituting a quantale. General completeness criteria are stated, and proved in our applications. 2 67("/89:&",;&<+*91(8=&>)",#"3185&.781(2"#+.,"3&3.?+*&",;&0(.*188&81/",#+*8

In this research article, a new connection between serial fuzzy relations and an extended version of rough sets in algebraic structure quantale is established. The notion consists successor class overlap the element quantale. Thus approximation space based on via overlaps quantales, are introduced. main purpose study to provide basic structures fuzzy-relations. way, acquires certain appealing p...

in this work, we describe an adjunction between the comma category of set-based monads under the v -powerset monad and the category of associative lax extensions of set-based monads to the category of v -relations. in the process, we give a general construction of the kleisli extension of a monad to the category of v-relations.

A concept of quantum triad and its solution is introduced. It represents a common framework for several situations where we have a quantale with a right module and a left module, provided with a bilinear inner product. Examples include Van den Bossche quantaloids, quantum frames, simple and Galois quantales, operator algebras, or orthomodular lattices.

We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.

A 2-form between two sup-lattices L and R is defined to be a suplattice bimorphism L×R → 2. Such 2-forms are equivalent to Galois connections, and we study them and their relation to quantales, involutive quantales and quantale modules. As examples we describe applications to C*-algebras.

Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new s...