Related papers: Modal operators on rings of continuous functions
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept of a topological space by that of a condensed set, which can…
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…
To a generalized tight continuous frame in a Hilbert space $\H$ indexed by a locally compact space $\Si$ endowed with a Radon measure, one associates a coorbit theory converting spaces of functions on $\Si$ in spaces of vectors comparable…
The classical Stone duality associates to each Boolean algebra a topological space consisting of ultrafilters. Lawson's generalisation constructs a dual equivalence of categories of Boolean inverse $\land$-semigroups and Hausdorff ample…
The topological $\mu$-calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represented over finite structures in the guise of weakly…
We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to \'etale groupoids, obtaining a duality…
The symmetric strict implication calculus $\mathsf{S^2IC}$ is a modal calculus for compact Hausdorff spaces. This is established through de Vries duality, linking compact Hausdorff spaces with de Vries algebras-complete Boolean algebras…
Continuous actions of topological groups on compact Hausdorff spaces $X$ are investigated which induce almost periodic functions in the corresponding commutative C*-algebra. The unique invariant mean on the group resulting from averaging…
Huang, Lepowsky and Zhang have developed a module theory for vertex operator algebras that endows suitably chosen module categories with the structure of braided monoidal categories. Included in the theory is a functor which assigns to…
We investigate some subtle and interesting phenomena in the duality theory of operator spaces and operator algebras. In particular, we give several applications of operator space theory, based on the surprising fact that certain maps are…
Grothendieck-Verdier duality is a powerful and ubiquitous structure on monoidal categories, which generalises the notion of rigidity. Hopf algebroids are a generalisation of Hopf algebras, to a non-commutative base ring. Just as the…
The Hurwitz space is the moduli space of pairs $(X,f)$ where $X$ is a compact Riemann surface and $f$ is a meromorphic function on $X$. We study the Laplace operator $\Delta^{|df|^2}$ of the flat singular Riemannian manifold $(X,|df|^2)$.…
We show that the following five categories are equivalent: (1) the opposite category of commutative von Neumann algebras; (2) compact strictly localizable enhanced measurable spaces; (3) measurable locales; (4) hyperstonean locales; (5)…
We present a generalization of H\"older duality to algebra-valued pairings via $L^p$-modules. H\"older duality states that if $p \in (1, \infty)$ and $p^{\prime}$ are conjugate exponents, then the dual space of $L^p(\mu)$ is isometrically…
Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal…
The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…
The following topics are presented in these notes: Elements of Banach algebras, Banach algebras of the form $L^1(G)$, where $G$ is a locally compact group, spectrum of elements of Banach algebras, the spectral theory of compact operators on…
In this paper we outline an approach to calculus over quasitriangular Hopf algebras. We study differential operators in the framework of monoidal categories equipped with a braiding or symmetry. To be more concrete, we choose as an example…
Double forms are sections of the vector bundles $\Lambda^{k}T^*\mathcal{M}\otimes \Lambda^{m}T^*\mathcal{M}$, where in this work $(\mathcal{M},\mathfrak{g})$ is a compact Riemannian manifold with boundary. We study graded second-order…
By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras. In our recent article, we have extended de Vries duality to completely regular spaces by generalizing de Vries algebras…