Commit 2024-07-29 18:29 a01f1cc5
View on Github →refactor(AlgebraicGeometry): stalk maps (#15070)
Introduces Scheme.Hom.stalkMap
and LocallyRingedSpace.Hom.stalkMap
with the API copied from presheafed spaces. Removes LocallyRingedSpace.stalk
and LocallyRingedSpace.ΓToStalk
. Instead uses Presheaf.stalk
and Presheaf.germ
directly.