Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Difference-restriction algebras of partial functions with operators:
  discrete duality and completion   We exhibit an adjunction between a category of abstract algebras of partial
functions and a category of set quotients. The algebras are those atomic
algebras representable as a collection of partial functions closed under
relative complement and domain restriction; the morphisms are the complete
homomorphisms. This generalises the discrete adjunction between the atomic
Boolean algebras and the category of sets. We define the compatible completion
of a representable algebra, and show that the monad induced by our adjunction
yields the compatible completion of any atomic representable algebra. As a
corollary, the adjunction restricts to a duality on the compatibly complete
atomic representable algebras, generalising the discrete duality between
complete atomic Boolean algebras and sets. We then extend these adjunction,
duality, and completion results to representable algebras equipped with
arbitrary additional completely additive and compatibility preserving
operators.

0
The categories of this paper are: hep-ph
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
30
The categories of this paper are: q-alg
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
20
The categories of this paper are: acc-phys