Related papers: On Monadic Vector-Valued Integration
We develop aspects of functional analysis in an abstract axiomatic setting, through monoidal and enriched category theory. We work in a given closed category, whose objects we call spaces, and we study R-module objects therein (or algebras…
Probability monads on categories of topological spaces are classical objects of study in the categorical approach to probability theory, with important applications in the semantics of probabilistic programming languages. We construct a…
We define a monad M on a category of measurable bornological sets, and we show how this monad gives rise to a theory of vector-valued integration that is related to the notion of Pettis integral. We show that an algebra X of this monad is a…
One considers Hilbert space valued measures on the Borel sets of a compact metric space. A natural numerical valued integral of vector valued continuous functions with respect to vector valued functions is defined. Using this integral,…
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…
We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads…
We consider three monads on Top, the category of topological spaces, which formalize topological aspects of probability and possibility in categorical terms. The first one is the Hoare hyperspace monad H, which assigns to every space its…
Using the symmetric monoidal closed category structure of the category of measurable spaces, in conjunction with the Giry monad which we show is a strong monad, we analyze Bayesian inference maps and their construction in relation to the…
The article presents a new method of integration of functions with values in Banach spaces. This integral and related notions prove to be a useful tool in the study of Banach space geomtry.
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…
The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category…
We briefly review the recent programme to construct, systematically and algorithmically, large classes of heterotic vacua, as well as the search for the MSSM therein. Specifically, we outline the monad construction of vector bundles over…
We develop a theory of Hilbert-space valued stochastic integration with respect to cylindrical martingale-valued measures. As part of our construction, we expand the concept of quadratic variation, introduced by Veraar and Yaroslavtsev…
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…
This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory (ii) continuous orthogonality between measures and…
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…
Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…
C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to…
This is a little investigation into the classification of complexes of direct sums of line bundles on projective spaces. We consider complexes on projective k-space Pk : O_Pk(-1)^a --> O_Pk^b --> O_Pk(1)^c, with the first map injective and…
In this paper we establish the existence of monads on Cartesian products of projective spaces. We construct vector bundles associated to monads on…