We study functorial 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 inductive limits be prese...

Partial Semigroups are relevant to the foundations of quantum mechanics and combinatorics as well as to interval and separation logics. Convolution algebras can be understood either as algebras of generalised binary modalities over ternary Kripke frames, in particular over partial semigroups, or as algebras of quantale-valued functions which are equipped with a convolution-style operation of mu...

We combine two research directions of the past decade, namely the development of a lax-algebraic framework for categories of interest to topologists and analysts, and the exploration of key topological concepts, like separation and compactness, in an abstract category which comes equipped with an axiomatic notion “closed” or “proper” map. Hence, we present various candidates for such notions in...

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

motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by s. vickers, providing an algebraic and a coalgebraic category of the new structures. as a result, the nature of the category   topsys   of s. vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

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

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