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.
Articles by others on the same topic
There are currently no matching articles.