Categories of compact and compactly generated Hausdorff locales over a base topos - Τσάμης, Κωνσταντίνος (2023)