Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Cook's tour of duality in logic: from quantifiers, through Vietoris,
  to measures   We identify and highlight certain landmark results in Samson Abramsky's work
which we believe are fundamental to current developments and future trends. In
particular, we focus on the use of (i) topological duality methods to solve
problems in logic and computer science; (ii) category theory and, more
particularly, free (and co-free) constructions; (iii) these tools to unify the
`power' and `structure' strands in computer science.

9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con