Top.presheaf.stalk_functor

Stalks are functorial with respect to morphisms of presheaves over a fixed X.

Top.presheaf.stalk

The stalk of a presheaf F at a point x is calculated as the colimit of the functor nbhds x ⥤ opens F.X ⥤ C