Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Synthetic topology in Homotopy Type Theory for probabilistic programming   The ALEA Coq library formalizes measure theory based on a variant of the Giry
monad on the category of sets. This enables the interpretation of a
probabilistic programming language with primitives for sampling from discrete
distributions. However, continuous distributions have to be discretized because
the corresponding measures cannot be defined on all subsets of their carriers.
  This paper proposes the use of synthetic topology to model continuous
distributions for probabilistic computations in type theory. We study the
initial $\sigma$-frame and the corresponding induced topology on arbitrary
sets. Based on these intrinsic topologies we define valuations and lower
integrals on sets, and prove versions of the Riesz and Fubini theorems. We then
show how the Lebesgue valuation, and hence continuous distributions, can be
constructed.

10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
34
The categories of this paper are: chem-ph