search

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

Basic opens of the affine parts... #23

Closed mnieper closed 6 months ago

mnieper commented 6 months ago

In Proposition 5.1.3 in the Foundations, it says

basic opens of the affine parts of $X$

where $X$ is a scheme. As the datum of an affine cover of $X$ is truncated to a mere proposition in the definition of a scheme, "basic opens of the" seems superfluous, doesn't it?

felixwellen commented 6 months ago

Yes, it should just be an open affine cover - I guess we could only say more for special schemes.

felixwellen commented 6 months ago

pushed -> closing (feel free to reopen if you disagree with what I said..).