The Hahn-Banach theorem in a category of sheaves
scientific article; zbMATH DE number 3684297