For a quantale V, the category V-Top of V-valued topological spaces may be introduced as a full subcategory of those V-valued closure spaces whose closure operation preserves finite joins. In generalization of Barr’s characterization of topological spaces as the lax algebras of a lax extension of the ultrafilter monad from maps to relations of sets, for V completely distributive, V-topological ...

It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system organize themselves quite naturally in a quantale, or more generally, a quantaloid. In fact, we are lead to consider cocomplete quantaloid-enriched categories as fu...

We provide a new characterization of the notion of sheaf on an étale groupoid G, in terms of a particular kind of Hilbert module on the quantale O(G) of the groupoid. All the theory is developed in the context of the more general class of quantales known as stable quantal frames, of which examples are easy to construct because their category is algebraic. The homomorphisms of our Hilbert module...

Abstract It is proved that the class of c-closed distribution spaces contains extremal domains and codomains to make convolution distributions a well-defined bilinear mapping. The are systematically endowed with topologies bornologies hypocontinuous whenever defined. Largest modules smallest algebras for semigroups constructed along same lines. fact exist within this fundamentally related quant...

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

In the topos approach to quantum theory of Doering and Isham the Kochen–Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of a commutativeC∗–algebra. In previous work we showed how this topos perspective can be generalised to a class of categories typically studied withi...

An algebraic approach to the design of program construction and verification tools is applied to separation logic. The control-flow level is modelled by power series with convolution as separating conjunction. A generic construction lifts resource monoids to assertion and predicate transformer quantales. The data domain is captured by concrete store-heap models. These are linked to the separati...

The term Stone-type duality often refers to a dual equivalence between category of lattices or other partially ordered structures on one side and topological the other. This paper is part larger endeavour that aims extend web dualities from metric and, more generally, quantale-enriched categories. In particular, we improve our previous work show how certain results for categories [ 0 , 1 ] -enr...