Naturality characterizes product measures and relative product measures
We show that the formation of the product measure is the only natural way to assign to each tuple of probability measures on measurable spaces a probability measure on the product space. Here, naturality is meant in the sense of category theory and amounts to the condition that the assignment commutes with pushforward along measurable maps. In the standard Borel setting, we also prove an analogous result for relative products over a fixed base probability space. As a corollary, we conclude that the formation of relative products is a lax symmetric monoidal functor.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.15909
curl -X POST /api/v1/records/arxiv/2609.15909/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.15909/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'