Skip to main content
1 of 3
Mark.Neuhaus
  • 2.1k
  • 16
  • 26

Atlas of a manifold as a Sheaf

--Hopefully this question does not dublicate another--

In this question Tom Goodwillie pointed out, that the 'atlas part' of the definition of a smooth manifold can be redefined in terms of sheaves. How is that done?

I assume it is something along the line: "An atlas is a sheaf on the site of cartesian spaces (the site with objects $\mathbb{R}^n$, such that ..."

Can someone clarify this point?

Mark.Neuhaus
  • 2.1k
  • 16
  • 26