Stalk functor for presheaves of sets
ID: stalk-functor-for-presheaves-of-sets
For presheaves of sets, . This functor preserves finite limits because the neighborhood system is filtered and filtered colimits commute with finite limits in sets. Its right adjoint sends a set to the presheaf taking the value on opens containing and the singleton on other opens.
New to topics? Read the docs here!