mathlib documentation

algebraic_geometry.stalks

Stalks for presheaved spaces #

This file lifts constructions of stalks and pushforwards of stalks to work with the category of presheafed spaces.

The stalk at x of a PresheafedSpace.

Equations