Skip to main content
1 of 3
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

You are confusing two completely different notions of "separated".

A presheaf of sets $F$ on a site is called "separated" if whenever $\{U_i \to U\}$ is a covering family, $F(U) \to \prod F(U_i)$ is injective. This is the notion that Skjelnes is talking about.

There is also the algebro-geometric notion of separated, which corresponds (over the complex number) to being Hausdorff. This is completely unrelated. In particular the line with doubled tangents along the origin is not separated in the algebro-geometric sense. But it is of course separated as a presheaf of sets, since it is an algebraic space, and in particular a sheaf of sets.

Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201