Statistics for Locales and sheaf representations of rings