felixwellen / synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
MIT License
50 stars 5 forks source link

Name of the structure sheaf #36

Open felixwellen opened 1 month ago

felixwellen commented 1 month ago

As far as I know, we do not have a common name of the structure sheaf of a scheme $X$, which is the constant $R$-module bundle with value $R^1$. Maybe we should call it $\mathcal O_X$?