All Questions
3 questions
11
votes
2
answers
1k
views
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. ...
- 2,074
10
votes
2
answers
1k
views
Differential forms as a sheaf on the site of all manifolds vs. sheaf on an individual manifold
The de Rham complex can be viewed as a sheaf $\Omega$ on the entire site $\mathsf{Man}$ of smooth manifolds via the usual pullback of differential forms $(f: M \to N) \mapsto (f^*: \Omega(N) \to \...
- 6,025
9
votes
0
answers
378
views
Is there any notion of "smoothification" from $\mathbb{R}$-schemes to generalized smooth spaces?
I will write $\operatorname{Diff}$ to denote a category of generalized smooth spaces e.g. $Sh(\mathsf{CartSp})$. Is there a version of $\operatorname{Diff}$ for which there exists a functor $\mathcal{...
- 7,789