Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Probabilistic Relational Reasoning via Metrics   The Fuzz programming language [Reed and Pierce, 2010] uses an elegant linear
type system combined with a monad-like type to express and reason about
probabilistic sensitivity properties, most notably $\epsilon$-differential
privacy. We show how to extend Fuzz to capture more general relational
properties of probabilistic programs, with approximate, or $(\epsilon,
\delta)$-differential privacy serving as a leading example. Our technical
contributions are threefold. First, we introduce the categorical notion of
comonadic lifting of a monad to model composition properties of probabilistic
divergences. Then, we show how to express relational properties in terms of
sensitivity properties via an adjunction we call the path construction.
Finally, we instantiate our semantics to model the terminating fragment of Fuzz
extended with types carrying information about other divergences between
distributions.

7
The categories of this paper are: hep-th
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph