Constructive complete distributivity II
Robert D. Rosebrugh, Richard J. Wood · Mathematical Proceedings of the Cambridge Philosophical Society · 1991
Abstract A complete lattice, L, is constructively completely distributive, (CCD) (L), if the sup map defined on down-closed subobjects has a left adjoint. It was known that in Boolean toposes (CCD) (L) is equivalent to (CCD) (Lop). We show here that the latter property for all L (sufficiently, for Ω.) characterizes Boolean toposes.