Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Relational Sheaves for a Heyting Algebra   We show that for a Heyting algebra ${\cal H}$, a relational-presheaf is an
idempotent symmetric order-preserving lax-semifunctor. A relational-presheaf is
a relational-sheaf, if it is an idempotent infima-preserving lax semifunctor.
The associated relational-sheaf functor factors through the category of sheaves
for ${\cal H}$. Using this and the appropriate comparison theorems we obtain
the main result that the associated categories of relational-presheaves and
relational-sheaves are each respectively equivalent to the categories of
presheaves and sheaves for ${\cal H}$.

24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
1
The categories of this paper are: cs
18
The categories of this paper are: econ
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph