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

Discuss graded algebras #2

Closed mnieper closed 1 year ago

mnieper commented 1 year ago

Graded algebras and actions of the multiplicative group are discussed. This also leads to a very natural proof that finitely presented modules are reflexive. The theory of infinitesimals is not needed.

felixwellen commented 1 year ago

I read everything and I will commit some typos after merging.