Axiomatic cohesion.
Booleanization of frames or uniform frames, which is not functorial under the basic choice of morphisms, becomes functorial in the categories with weakly open homomorphisms or weakly open uniform homomorphisms. Then, the construction becomes a reflection. In the uniform case, moreover, it also has a left adjoint. In connection with this, certain dual equivalences concerning uniform spaces and uniform frames arise.
Let P be a small category and A(B) a category such that the functor A → AP (B → BP) determined by the projection functor A x P → A (B x P → B) has an adjoint for all small category P. A functor G: B → AP has an adjoint functor if and only if it has and adjoint functor "via" evaluation. If Q is another small category and F: P → Q an arbitrary functor, the functor AF: AQ → AP has an adjoint functor.