Related papers: Quantales and their modules: projective objects, i…
We propose a categorical and algebraic study of quantale modules. The results and constructions presented are also applied to abstract algebraic logic and to image processing tasks.
Taking a ring-theoretic perspective as our motivation, the main aim of this series is to establish a comprehensive theory of ideals in commutative quantales with an identity element. This particular article focuses on an examination of…
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module transforms, is defined. Such operators - that turn out to…
We introduce the notion of integrable modules over $\imath$quantum groups (a.k.a. quantum symmetric pair coideal subalgebras). After determining a presentation of such modules, we prove that each integrable module over a quantum group is…
Taking advantage of the quantale-theoretic description of \'etale groupoids we study principal bundles, Hilsum-Skandalis maps, and Morita equivalence in terms of modules on inverse quantal frames. The Hilbert module description of quantale…
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…
As a natural extension of the ongoing development of a theory of ideals in commutative quantales with an identity element, this article aims to study into the analysis of certain topological properties exhibited by distinguished classes of…
$\imath$quantum groups are generalizations of quantum groups which appear as coideal subalgebras of quantum groups in the theory of quantum symmetric pairs. In this paper, we define the notion of classical weight modules over an…
We introduce a lattice structure as a generalization of meet-continuous lattices and quantales. We develop a point-free approach to these new lattices and apply these results to $R$-modules. In particular, we give the module counterpart of…
Recently an algebra of smooth valuations was attached to any smooth manifold. Roughly put, a smooth valuation is finitely additive measure on compact submanifolds with corners which satisfies some extra properties. In this note we initiate…
We give a unifying description of all inequivalent vector bundles over the 2-dimensional sphere $S^2$ by constructing suitable global projectors $p$ via equivariant maps. Each projector determines the projective module of finite type of…
The notion of sobriety is extended to the realm of topological spaces valued in a commutative and unital quantale, via an adjunction between a category of quantale modules and the category of quantale-valued topological spaces. Relations…
Fix a manifold M, and let V be an infinite dimensional Lie algebra of vector fields on M. Assume that V contains a finite dimensional semisimple maximal subalgebra A, the projective or conformal subalgebra. A projective or conformal…
This is a short survey paper, partly meant as a research announcement. Its purpose is to highlight some aspects of the interplay between quantales, inverse semigroups, and groupoids. Many of the results mentioned have not yet been presented…
We propose that observables in quantum theory are properly understood as representatives of symmetry-invariant quantities relating one system to another, the latter to be called a reference system. We provide a rigorous mathematical…
We study ideals in, and continuity of, quantaloid-enriched categories (Q-categories for short) as a 'many-valued and many-typed' generalization of domain theory. Abstractly, for any (saturated) class Phi of presheaves, we define and study…
We introduce in non-coordinate presentation the notions of a quantum algebra and of a quantum module over such an algebra. Then we give the definition of a projective quantum module and of a free quantum module, the latter as a particular…
In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower sets. A marked quantale is a posemigroup in which certain…
In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…
In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…