 Double-negation topology

The dense sieves form the double-negation Grothendieck topology. Its sheaf topos is a Boolean topos: the union of a subobject with its pseudocomplement is dense and thus becomes the whole object after sheafification. This need not be the atomic topology, which requires every nonempty sieve to be dense.