Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A general form of relative recursion   For every partial combinatory algebra (pca) $A$ and every partial
endofunction on $A$, a pca $A[f]$ is constructed such that in $A[f]$, the
function $f$ is representable by an element; a universal property of the
construction is formulated in terms of Longley's 2-category of pcas and
decidable applicative morphisms.

12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
1
The categories of this paper are: cs
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int