Commit 2022-11-13 12:50 fb7698eb

feat(topology/sheaves): Locally surjective maps of presheaves (#15398) For presheaves valued in a concrete category, we define locally surjective maps of presheaves and show that this condition is equivalent to all the induced maps of stalks being surjective. We also introduce notation for the types of sections, germs and corresponding induced maps. Co-authored by: Sam van Gool @samvang