Sample-Smooth Spaces: A Convenient Category for Differentiable Probabilistic Programming

Patrick Forré

We introduce the category $\mathbf{SSS}$ of sample-smooth spaces over a mixed site. The test objects are the products ${\Omega }_n:={\mathbb{R}}^n\times \Omega$ of a Cartesian space with the u…