Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Equational reasoning for non-determinism monad: the case of Spark
  aggregation   As part of the author's studies on equational reasoning for monadic programs,
this report focus on non-determinism monad.
  We discuss what properties this monad should satisfy, what additional
operators and notations can be introduced to facilitate equational reasoning
about non-determinism, and put them to the test by proving a number of
properties in our example problem inspired by the author's previous work on
proving properties of Spark aggregation.

3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org