4 papers
cs.LO2026
Just Previsions
Jean Goubault-Larrecq
Previsions are positively homogeneous functionals, and are generalized forms of integration functionals. We investigate previsions -- just previsions, not sublinear or superlinear…
cs.LO2025
Distributing Retractions, Weak Distributive Laws and Applications to Monads of Hyperspaces, Continuous Valuations and Measures
Jean Goubault-Larrecq
Given two monads , on a category where idempotents split, and a weak distributive law between them, one can build a combined monad . Making explicit what this monad i…
math.CT2024
Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice
Jean Goubault-Larrecq
We show that there is weak distributive law of the Smyth hyperspace monad (resp., the Hoare hyperspace monad , resp. the monad $\ma…
math.GN2024
On the Preservation of Projective Limits by Functors of Non-Deterministic, Probabilistic, and Mixed Choice
Jean Goubault-Larrecq
We examine conditions under which projective limits of topological spaces are preserved by the continuous valuation functor and its subprobability and probability varia…