search

felixwellen / synthetic-zariski

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

Better definition for reduced schemes #27

Closed felixwellen closed 5 months ago

felixwellen commented 8 months ago

There should also be a recording from SAG-4: image

felixwellen commented 5 months ago

There is now a good notion of reduced scheme (or even type) written down in 2.2 of the topology draft