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!