Some properties of internal locale morphisms externalised
scientific article; zbMATH DE number 7940402
scientific article