Dice Question Streamline Icon: https://streamlinehq.com

Existence of empirical sampling morphisms beyond standard Borel spaces

Construct empirical sampling morphisms for measurable spaces outside the class of standard Borel spaces, and identify structural conditions on such spaces that ensure the existence of empirical sampling morphisms satisfying permutation invariance and empirical adequacy.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper constructs empirical sampling morphisms for all standard Borel spaces (finite sets, the natural numbers with the discrete σ-algebra, and the real line with the Borel σ-algebra), showing these satisfy permutation invariance and empirical adequacy.

The authors raise the question of whether similar constructions extend to other classes of measurable spaces, and what additional structure might be required to define empirical sampling morphisms outside the standard Borel setting.

References

We leave open the question of whether empirical sampling morphisms exist for other kinds of measurable spaces, and what kind of structure is needed in order to construct them.

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability (2503.21576 - Fritz et al., 27 Mar 2025) in Section 3.2 (Empirical Sampling Morphisms for Standard Borel Spaces)