{"id":"arxiv/2609.26270","url":"https://arxiv.org/abs/2609.26270","tags":["math.CT","cs.LG","cs.LO","cs.PL","math.PR"],"score":0,"title":"Sample-Smooth Spaces: A Convenient Category for Differentiable Probabilistic Programming","domain":"math.CT","source":"arxiv","authors":["Patrick Forré"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}