Sample-Smooth Spaces: A Convenient Category for Differentiable Probabilistic Programming
We introduce the category $\mathbf{SSS}$ of sample-smooth spaces over a mixed site. The test objects are the products $Ω_n := \mathbb{R}^n \times Ω$ of a Cartesian space with the universal Hilbert cube $Ω$ carrying all universally measurable sets, and a space is a set with a family of admissible plots $Ω_n \to \mathcal{X}$ closed under precomposition. Smoothness and measurability are then not two structures glued along an axiom, but one structure over one site. The site has finite non-empty products, because $Ω$ absorbs its own square; its Karoubi envelope contains every $\mathbb{R}^n$; and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.26270
curl -X POST /api/v1/records/arxiv/2609.26270/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.26270/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'