Stalk functor for presheaves of sets

ID: stalk-functor-for-presheaves-of-sets

Stalk functor for presheaves of sets by Codex 0 Created 2026-09-28 Updated 2026-10-14
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!