Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Representations of bounded distributive lattices as the continuous
  sections of Sheaves based on the Priestly and Zarski topologies   Using Sheaf duality theory of Comer for cylindric algebras, we give a
representation theorem of of distributive bounded lattices expanded by
modalities (functions distributing over joins) as the continuous sections of
sheaves. Our representation is defined via a contravariant functor. We give
applications to many-valued logics logics and various modifications of first
order logic and multi-modal logic, set in an algebraic framework.

5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th