Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A topos-theoretic approach to Stone-type dualities   We present an abstract unifying framework for interpreting Stone-type
dualities; several known dualities are seen to be instances of just one
topos-theoretic phenomenon, and new dualities are introduced. In fact,
infinitely many new dualities between preordered structures and locales or
topological spaces can be generated through our topos-theoretic machinery in a
uniform way. We then apply our topos-theoretic interpetation to obtain results
connecting properties of preorders and properties of the corresponding locales
or topological spaces, and we establish adjunctions between various kinds of
categories as natural applications of our general methodology. In the last part
of the paper, we exploit the theory developed in the previous parts to obtain a
topos-theoretic interpretation of the problem of finding explicit descriptions
of models of 'ordered algebraic theories' presented by generators and
relations, and give several examples which illustrate the effectiveness of our
methodology. In passing, we provide a number of other applications of our
theory to Algebra, Topology and Logic.

36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
1
The categories of this paper are: cs
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
20
The categories of this paper are: acc-phys
3
The categories of this paper are: physics
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin