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

Document discussion on open problems in SAG #28

Open felixwellen opened 5 months ago

felixwellen commented 5 months ago

image image image