Locales in presheaf toposes vs. presheaves of locales

Vasileios Aravantinos-Sotiropoulos, Panagis Karazeris, Joshua Wrigley

By a well-known characterisation, in a presheaf topos every internal suplattice is a presheaf of suplattices, but not every presheaf of suplattices is an internal suplattice (and s…