search

felixwellen / synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.
MIT License
23 stars 4 forks source link

Define the synthetic spectrum #1

Closed felixwellen closed 2 years ago

felixwellen commented 2 years ago

Define the synthetic spectrum and synthetic quasi coherence