Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On S-Finite Measures and Kernels   In this note, we develop some of the basic theory of s-finite (measures and)
kernels, a little-studied class of kernels which Staton has recently
convincingly argued is precisely the semantic counterpart of (first-order)
probabilistic programs. We discuss their Carath\'eodory extension and extend
Staton's analysis of their product measures. We give various characterisations
of such kernels and discuss their relationship to the more commonly studied
classes of $\sigma$-finite, subprobability and probability kernels. We use
these characterisations to establish suitable Radon-Nikod\'ym, Lebesgue
decomoposition and disintegration theorems for s-finite kernels. We discuss
s-finite analogues of the classical randomisation lemma for probability
kernels. Throughout, we give some examples to explain the connection with
(first-order) probabilistic programming. Finally, we briefly explore how some
of these results extend to quasi-Borel spaces, hence how they apply to
higher-order probabilistic programming.

34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
20
The categories of this paper are: acc-phys
27
The categories of this paper are: comp-gas
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an