Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Constructive version of Boolean algebra   The notion of overlap algebra introduced by G. Sambin provides a constructive
version of complete Boolean algebra. Here we first show some properties
concerning overlap algebras: we prove that the notion of overlap morphism
corresponds classically to that of map preserving arbitrary joins; we provide a
description of atomic set-based overlap algebras in the language of formal
topology, thus giving a predicative characterization of discrete locales; we
show that the power-collection of a set is the free overlap algebra
join-generated from the set. Then, we generalize the concept of overlap algebra
and overlap morphism in various ways to provide constructive versions of the
category of Boolean algebras with maps preserving arbitrary existing joins.

0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
36
The categories of this paper are: cmp-lg
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin