Abstract:We show that there is weak distributive law of the Smyth hyperspace monad $\mathcal Q_{\mathsf V}$ (resp., the Hoare hyperspace monad $\mathcal H_{\mathsf V}$, resp. the monad $\mathcal P\ell^{\mathrm q}_{\mathsf V}$ of quasi-lenses, resp. the monad $\mathcal P\ell_{\mathsf V}$ of lenses) over the continuous valuation monad $\mathbf V$, as well as over the subprobability valuation monad $\mathbf V_{\leq 1}$ and the probability valuation monad $\mathbf V_1$, on the whole category $\mathbf{Top}$ of topological spaces (resp., on certain full subcategories such as the category of locally compact spaces or of stably compact spaces). We show that the resulting weak composite monad is the author's monad of superlinear previsions (resp., sublinear previsions, resp. forks), possibly subnormalized or normalized depending on whether we consider $\mathbf V_{\leq 1}$ or $\mathbf V_1$ instead of $\mathbf V$. As a special case, we obtain a weak distributive law of the monad $\mathcal P\ell^{\mathrm q}_{\mathsf V} \cong \mathcal P\ell_{\mathsf V}$ over the monad of (sub)probability Radon measures $\mathbf R_\bullet$ on the category of stably compact spaces, which specializes further to a weak distributive laws of the Vietoris monad over $\mathbf R_\bullet$. The associated weak composite monad is the monad of (sub)normalized forks.

On the Preservation of Projective Limits by Functors of Non-Deterministic, Probabilistic, and Mixed Choice

Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice

On the -Spaces of Projective Limits of Probability Measures

Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras

Mixed limits of some functional spaces

Functors of Variance: Heuristic Naturality and Connection to Ends

Covariant functors commuting with direct limits

Accessible categories with a class of limits

The amalgamated limit and its topological interpretation

An homotopical algebra approach to the computation of higher limits

A Few Projective Classes of (Non-Hausdorff) Topological Spaces

Equivariant Valuations on Convex Functions

May's Conjecture on Bimonoidal Functors and Multiplicative Infinite Loop Space Theory

A Von Neumann-Morgenstern Representation Result Without Weak Continuity Assumption

An integrability criterion for a projective limit of Banach distributions

Limits of sparse hypergraphs

Separating minimal valuations, point-continuous valuations and continuous valuations

Choice axioms and Postnikov completeness

Representations of domains via closure spaces in the quantale-valued setting

Limit Theorems for Point Processes under Geometric Constraints (and Topological Crackle)

Limits of limit sets in rank-one symmetric spaces