Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Convexity and Order in Probabilistic Call-by-Name FPC   Kegelspitzen are mathematical structures coined by Keimel and Plotkin, in
order to encompass the structure of a convex set and the structure of a dcpo.
In this paper, we ask ourselves what are Kegelspitzen the model of. We adopt a
categorical viewpoint and show that Kegelspitzen model stochastic matrices onto
a category of domains. Consequently, Kegelspitzen form a denotational model of
pPCF, an abstract functional programming language for probabilistic computing.
We conclude the present work with a discussion of the interpretation of
(probabilistic) recursive types, which are types for entities which might
contain other entities of the same type, such as lists and trees.

32
The categories of this paper are: atom-ph
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
15
The categories of this paper are: nucl-ex
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol