Related papers: A calculus for modal compact Hausdorff spaces
In this paper we present a space-time calculus for symmetric spinors, including a product with a number of index contractions followed by symmetrization. As all operations stay within the class of symmetric spinors, no involved index…
We introduce the spatial Rokhlin property for actions of coexact compact quantum groups on $\mathrm{C}^*$-algebras, generalizing the Rokhlin property for both actions of classical compact groups and finite quantum groups. Two key…
Even in spaces of formal power series is required a topology in order to legitimate some operations, in particular to compute infinite summations. Many topologies can be exploited for different purposes. Combinatorists and algebraists may…
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent studies of "metric domain theory" and Stone-type dualities,…
Given a variety of algebras V, we study categories of algebras in V with a compatible structure of uniform space. The lattice of compatible uniformities of an algebra, Unif A, can be considered a generalization of the lattice of congruences…
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras…
In this paper, we develop a novel approach to the Weingarten calculus by employing the notion of virtual isometries. Traditionally, Weingarten calculus provides explicit formulas for integrating polynomial functions over compact matrix…
Ott, Tomforde, and Willis proposed a useful compactification for one-sided shifts over infinite alphabets. Building from their idea we develop a notion of two-sided shift spaces over infinite alphabets, with an eye towards generalizing a…
Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…
Using the completed inductive, projective and injective tensor products of Grothendieck for locally convex topological vector spaces, we develop a systematic theory of locally convex Hopf algebras with an emphasis on Pontryagin-type…
We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…
We study the general form of isomorphisms on the algebra of compactly supported complex-valued continuous functions defined on a locally compact Hausdorff space (the proof of which works for the algebra of $C^k-$differentiable functions on…
It is proved that the Gromov-Hausdorff metric on the space of compact metric spaces considered up to an isometry is strictly intrinsic, i.e., the corresponding metric space is geodesic. In other words, each two points of this space (each…
In this note we prove Yosida duality --- that is: the category of compact Hausdorff spaces with continuous maps is dually equivalent to the category of uniformly complete Archimedean Riesz spaces with distinguished units and unit-preserving…
Let $(\pi,V)$ be a smooth representation of a compact Lie group $G$ on a quasi-complete locally convex complex topological vector space. We show that the Lie algebra cohomology space $\mathrm{H} ^\bullet(\mathfrak{u}, V)$ and the Lie…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
Magill proved that the remainders of two locally compact Hausdorff spaces in their StoneCech compactifications are homeomorphic if and only if the lattices of their Hausdorff compactifications are lattice isomorphic. His construction for…
The Swampland Program aims to address the question, "when does an effective field theory model of quantum gravity have an ultraviolet complete embedding in string theory?", and can be regarded as a bottom-up approach to investigations of…
In this work various symbol spaces with values in a sequentially complete locally convex vector space are introduced and discussed. They are used to define vector-valued oscillatory integrals which allow to extend Rieffel's strict…