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.

Let κQnt be the category of of κ-quantales, quantales closed under κ-joins in which the monoid identity is the largest element. (κ is an infinite regular cardinal.) Although the lack of lattice completeness in this setting would seem to mitigate against the techniques which lend themselves so readily to the calculation of frame quotients, we show how to easily compute κQnt quotients by applying...

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.

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.

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.

Considering quantales as generalised noncommutative spaces, we address as an example a quantale Pen based on the Penrose tilings of the plane. We study in general the representations of involutive quantales on those of binary relations, and show that in the case of Pen the algebraically irreducible representations provide a complete classification of the set of Penrose tilings from which its re...

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