Étale space of a presheaf
ID: etale-space-of-a-presheaf
The space of germs of a presheaf has basic opens given by the germs of one section over an open set. Projection to its base point is a local homeomorphism. Continuous sections of this projection give sheafification. For the constant presheaf of sets, the basic opens are , giving the ordinary product with a discrete fibre.
New to topics? Read the docs here!