É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!