Related papers: On Monadic Vector-Valued Integration
We show that a vector space valued TQFT constructed in work of De Renzi et al. [DGGPR23] extends naturally to a topological field theory which takes values in the symmetric monoidal category of linear cochains. Specifically, we consider a…
The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category $\comp$ of compact Hausdorff spaces. We prove that the obtained functor…
For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are…
In this paper, we introduce and study the Fourier transform of functions which are integrable with respect to a vector measure on a compact group (not necessarily abelian). We also study the Fourier transform of vector measures. We also…
This paper combines vector-valued reproducing kernel Hilbert space (vRKHS) embedding with robust adaptive observation, yielding an algorithm that is both non-parametric and robust. The main contribution of this paper lies in the ability of…
Imprecise probability is concerned with uncertainty about which probability distributions to use. It has applications in robust statistics and machine learning. We look at programming language models for imprecise probability. Our…
The notion of 2--monoidal category used here was introduced by B.~Vallette in 2007 for applications in the operadic context. The starting point for this article was a remark by Yu. Manin that in the category of quadratic algebras (that is,…
We construct a compact Hausdorff space $K$ such that the space $P(K)$ of Radon probabiblity measures on $K$ considered with the weak$^*$ topology (induced from the space of continuous functions $C(K)$) is countably tight which is a…
We prove a Montel theorem for Hilbert space valued functions, and a non-commutative version of this theorem, by composing with unitaries to achieve convergence.
In this work we introduce a theory of stochastic integration for operator-valued integrands with respect to some classes of cylindrical martingale-valued measures in Hilbert spaces. The integral is constructed via the radonification of…
In categories of linear relations between finite dimensional vector spaces, composition is well-behaved only at pairs of relations satisfying transversality and monicity conditions. A construction of Wehrheim and Woodward makes it possible…
We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the…
A point process on a space is a random bag of elements of that space. In this paper we explore programming with point processes in a monadic style. To this end we identify point processes on a space X with probability measures of bags of…
This lecture series is based on joint work in progress with Shaul Barkan, as well as work in progress of the author. The five sections of these notes correspond to the five lectures, but more details have been added. $2$-dimensional…
Monadic programming presents a significant challenge for many programmers. In light of category theory, we offer a new perspective on the use of monads in functional programming. This perspective is clarified through numerous examples coded…
Set-valued prediction is a well-known concept in multi-class classification. When a classifier is uncertain about the class label for a test instance, it can predict a set of classes instead of a single class. In this paper, we focus on…
The modern theory of functional programming languages uses monads for encoding computational side-effects and side-contexts, beyond bare-bone program logic. Even though quantum computing is intrinsically side-effectful (as in quantum…
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 investigate integral representation of vector-valued function spaces, i.e., of subspaces $H\subset C(K,E)$, where $K$ is a compact space and $E$ is a (real or complex) Banach space. We point out that there are two possible ways of…
In this paper, we introduce and study the Weyl transform of functions which are integrable with respect to a vector measure on a phase space associated to a locally compact abelian group. We also study the Weyl transform of vector measures.…