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

Some experimental things on divisors #13

Closed felixwellen closed 6 months ago

felixwellen commented 9 months ago

Someone asked what we know about divisors, so I started to write it up. There are gaps, so that's why it is on a branch...