I’m studying Vakil’s Foundations of Algebraic Geometry, and working through the exercises in 2.4 about compatible germs as a method for constructing a sheafification of a given presheaf. Can this construction be vacuous? Can a nontrivial presheaf fail to have a nontrivial set of compatible germs? Can there fail to be a universal functor thatRead more