Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Whither Semantics?   We discuss how mathematical semantics has evolved, and suggest some new
directions for future work. As an example, we discuss some recent work on
encapsulating model comparison games as comonads, in the context of finite
model theory.

30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex