A Boolean topos is an elementary topos in which every subobject has a complement, equivalently its internal truth-value Heyting algebra satisfies excluded middle. Its internal first-order logic is classical. Being Boolean alone does not imply that it has enough set-valued points.
Articles by others on the same topic
There are currently no matching articles.