Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The many mathematical faces of Mermin's proof of the Kochen-Specker
  theorem   Mermin's simple "pentagram" proof of the Kochen-Specker theorem is examined
from various perspectives. We emphasise the many mathematical structures
intimately related to Kochen-Specker proofs, ranging through functional
analysis, sheaf theory and topos theory, Coxeter groups and algebraic geometry.
Some novel results are presented along the way.

25
The categories of this paper are: patt-sol
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
21
The categories of this paper are: adap-org
1
The categories of this paper are: cs
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th
35
The categories of this paper are: mtrl-th
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci