Boolean topos
= Boolean topos
{c}
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.