I am not an expert on elementary topos (meaning by this to work with the internal language in a Grothendiek topos) and I rather be told than struggle with the following: Consider …

The category of internal locales in the Grothendieck topos of sheaves on a locale X is equivalent to the slice category over X. In other words, internal locales over X are precisel …