DEFINITION 06.16
Let

be a presheaf on a topological space

.
Let

be a point. We define the stalk of

on

as
It should be noted at this stage that
LEMMA 06.17
Let
be a presheaf on a topological space
.
The natural map
induces an isomorphism of stalk at each point

.