A common feature of many duality results is that the involved equivalence functors are
liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can only …

We aim to counter the tendency for specialization in science by advancing a language that
can facilitate the translation of ideas and methods between disparate contexts. The focus is …

Quantales are elegant noncommutative generalizations of topological spaces. In this thesis
we present our version of sheaves on involutive quantales based on enriched category …

We revisit sheaves on locales by placing them in the context of the theory of quantale
modules. The local homeomorphisms p: X→ B are identified with the Hilbert B-modules that …

We solve the isomorphism problem in the context of abstract algebraic logic and of π-
institutions, namely the problem of when the notions of syntactic and semantic equivalence …

We show that sheaves on Grothendieck quantales, which are the quantales that correspond
to Grothendieck toposes, may be defined in several equivalent ways. The main topic of this …

We explain the precise relationship between two module-theoretic descriptions of sheaves
on an involutive quantale, namely the description via so-called Hilbert structures on modules …

In 1984, Joyal and Tierney presented the category Sup of complete lattices and their
suprema-preserving maps as a∗-autonomous category in the sense of Barr. Work on this …

The familiar adjunction between ordered sets and completely distributive lattices can be
extended to generalised metric spaces, that is, categories enriched over a quantale (a lattice …