Related papers: A calculus for modal compact Hausdorff spaces

In this paper, we introduce a Grothendieck topology on the category of totally bounded metric spaces and develop a theory of stacks with respect to this topology. We further define the fine moduli stack of compact metric spaces and prove…

We generalize the classic Vietoris endofunctor to the category of compact Hausdorff spaces and closed relations. The lift of a closed relation is done by generalizing the construction of the Egli-Milner order. We describe the dual…

Mirror symmetry is one of the celebrated developments in pure mathematics that arose from an initial observation in worldsheet string constructions. The profound implications of mirror symmetry in the Effective Field Theory (EFT) limit of…

For a compact Hausdorff space $K$, we give descriptions of the dual of $C(K)^\delta$, the Dedekind completion of the Banach lattice $C(K)$ of continuous, real-valued functions on $K$. We characterize those functionals which are…

We explore a relation between four-dimensional N=2 heterotic vacua induced by Mirror Symmetry via Heterotic/Type II duality. It allows us to compute the \alpha' corrections to the hypermultiplet moduli space of heterotic compactifications…

Hopf algebras, most generally in a semisimple abelian symmetric monoidal category, are here supposed to be commutative but not to be of finite-type, and their (equivariant) smoothness are discussed. Given a Hopf algebra $H$ in a category…

It is showed that the class of all compact Hausdorff and $I$-favorable spaces is adequate for the class of skeletal maps.

Given a compact K\"ahler manifold $(X,\omega)$, due to the work of Darvas-Di Nezza-Lu, the space of singularity types of $\omega$-psh functions admits a natural pseudo-metric $d_\mathcal S$ that is complete in the presence of positive mass.…

A well-known result by Larson and Sweedler shows that integrals on a Hopf algebra can be obtained by applying the Structure Theorem for Hopf modules to the rational part of its linear dual. This fact can be rephrased by saying that taking…

Let $V$ be a simple vertex operator algebra containing a rank $n$ Heisenberg vertex algebra $H$ and let $C=\text{Com}\left( {H}, {V}\right)$ be the coset of ${H}$ in ${V}$. Assuming that the representation categories of interest are vertex…

For a class of de Branges spaces containing polynomials, sufficient and necessary conditions are given for the boundedness and compactness of the Hausdorff operators under consideration. For the Paly-Wiener spaces we reduce the study of our…

The Baire algebra of a topological space $X$ is the quotient of the algebra of all subsets of $X$ modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which…

In this paper we study the relationship between three compactifications of the moduli space of Hermitian-Yang-Mills connections on a fixed Hermitian vector bundle over a projective algebraic manifold of arbitrary dimension. Via the…

Let $f$ be a rational map of degree $d\geq 2$. The moduli space $\mathcal{M}_f$, introduced by McMullen and Sullivan, is a complex analytic space consisting all quasiconformal conjugacy classes of $f$. For $f$ that is not flexible Latt\`es,…

Gelfand duality is a fundamental result that justifies thinking of general unital $C^*$-algebras as noncommutative versions of compact Hausdorff spaces. Inspired by this perspective, we investigate what noncommutative measurable spaces…

In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Calling these calculi \emph{constructive}, we show that any…

We show how the data of a finite dimensional weak C^*-Hopf algebra can be encoded into a pair (H,V) where H is a finite dimensional Hilbert space and V: H \o H --> H \o H is a partial isometry satisfying, among others, the pentagon…

We study strongly continuous and locally equicontinuous families of operators on sequentially complete Hausdorff locally convex spaces. In case of Saks spaces, we relate the general notions to bi-continuity as well as equitightness. In this…

The development of a novel exact two-component (X2C) scheme with the inclusion of the picture-change correction for the fluctuation potential, the X2Ccorr scheme, is reported, hereby establishing a hierarchy of X2C schemes with systematic…

There is a canonical isomorphism between the coarse moduli spaces of somooth hyperelliptic curves of genus g and binary forms of degree 2g+2 with nonzero discriminant. In this paper, we study the extension of this isomorphism to the…