Projectivity of sheaves on a locale and of free modules
scientific article; zbMATH DE number 4129050