exponentiable

The result holds even if S is not exponentiable. An example is given of a category 𝒞 that satisfies the axioms, but for which there is no elementary topos ℰ such that 𝒞 is the category of locales over ℰ. It is shown, in outline, how the results can be extended from groups to groupoids..