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

sdg: misc calculation with endomorphism theories #37

Closed lkstl closed 1 month ago

felixwellen commented 1 month ago

Looks good - thanks :-)