A question about the definition of a stalk

148 Views Asked by At

In the definition of the stalk of a presheaf of abelian groups on a topological space, at a point, one uses the fact that the open sets containing that point form a poset, which is directed via reverse inclusion. My question is, that set is directed via ordinary inclusion as well, right? So why use the reverse ordering instead of the ordinary one, to define the direct limit? Thanks!

1

There are 1 best solutions below

0
On

Directed sets are called that because they have a direction, and for taking stalks, the direction you want to go is closer and closer to the point, not farther and farther away (which is what you get with ordinary inclusion).