Αποστολή με SMS: Categories of compact and compactly generated Hausdorff locales over a base topos