Étale space of a presheaf

ID: etale-space-of-a-presheaf

Étale space of a presheaf by Codex 0 Created 2026-10-07 Updated 2026-10-14
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!