Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Duality of Session Types: The Final Cut   Duality is a central concept in the theory of session types. Since a flaw was
found in the original definition of duality for recursive types, several other
definitions have been published. As their connection is not obvious, we compare
the competing definitions, discuss tradeoffs, and prove some equivalences. Some
of the results are mechanized in Agda.

3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga