Boolean algebras in a localic topos

Abstract

When a familiar notion is modelled in a certain topos E, the natural problem arises to what extent theorems concerning its models in usual set theory remain valid for its models in E, or how suitable properties of E affect the validity of certain of these theorems. Problems of this type have in particular been studied by Banaschewski[2], Bhutani[5], and Ebrahimi[6, 7], dealing with abelian groups in a localic topos and universal algebra in an arbitrary Grothendieck topos. This paper is concerned with Boolean algebras, specifically with injectivity and related topics for the category of Boolean algebras in the topos of sheaves on a locale and with properties of the initial Boolean algebra in .