Related papers: Deriving the Giry algebras on standard Borel space…
The notion of "super convex spaces" generalizes the idea of convex spaces by replacing finite affine sums with countable affine sums. Using this notion permits a very elegant approach for analysis of the Giry monad on standard measurable…
We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability…
A duality between the category of convex spaces and measurable spaces arises from the existence of the unit interval, which is an object in both these categories. The full subcategory of the category of convex spaces, consisting of just the…
The Giry monad on the category of measurable spaces sends a space to a space of all probability measures on it. There is also a finitely additive Giry monad in which probability measures are replaced by finitely additive probability…
We construct a factorization of the Giry monad through the category of convex spaces, and show that, provided that no measurable cardinals exist, probability measures can be viewed as natural transformations. Using the adjunction of this…
We investigate the Eilenberg-Moore algebras for the Giry monad defined on the category of measurable spaces using super convex spaces. The category of super convex spaces has a subcategory consisting of the one point extension of the real…
In The factorization of the Giry monad (arXiv:1707.00488v2) the author considers two $\sigma$-algebras on convex spaces of functions to the unit interval. One of them is generated by the Boolean subobjects and the other is the…
The category of super convex spaces, a proper subcategory of convex spaces, possesses the property that it has a codense subcategory. This codense subcategory allows for an elementary proof that the Giry monad factorizes through the…
In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of…
Given any amenable group $G$ (with a left Haar measure $|\cdot|$ or $dg$), we can select out a \textit{F{\o}lner subnet} $\{F_\theta,\theta\in\Theta\}$ from any left F{\o}lner net in $G$, which is \textit{$L^\infty$-admissible}, namely, for…
Given a base manifold $M$ and a Lie group $G$, we define $\bar{\cal A}^H_M$ a space of generalized $G$-connections on $M$ with the following properties: - The space of smooth connections ${\cal A}^\infty_M = \sqcup_\pi {\cal A}^\infty_\pi$…
Several monads of probability measures have been shown to have presentations as codensity monads over small categories of stochastic maps. This paper studies how three key properties of these probability monads, relevant to categorical…
We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…
We define and study a probability monad on the category of complete metric spaces and short maps. It assigns to each space the space of Radon probability measures on it with finite first moment, equipped with the Kantorovich-Wasserstein…
We consider local "complementary" generalized Morrey spaces ${\dual \cal M}_{\{x_0\}}^{p(\cdot),\om}(\Om)$ in which the $p$-means of function are controlled over $\Om\backslash B(x_0,r)$ instead of $B(x_0,r)$, where $\Om \subset \Rn$ is a…
The moduli space and generalised global symmetries of 3d $\mathcal{N} = 5$ superconformal field theories are investigated, with a focus on the orthosymplectic ABJ theories and their discrete gauging variants. We extend the known…
We study the complexity of the space $C^*_p(X)$ of bounded continuous functions with the topology of pointwise convergence. We are allowed to use descriptive set theoretical methods, since for a separable metrizable space $X$, the…
A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…
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 the field of categorical probability, one uses concepts and techniques from category theory, such as monads and monoidal categories, to study the structures of probability and statistics. In this paper, we connect some ideas from…