All Questions
1 question
13
votes
1
answer
2k
views
Proj construction in derived algebraic geometry
The question
My question is easy to state:
Is there a Proj construction in derived geometry, that produces a derived stack from a “graded derived algebra”?
Given the vagueness of the question, you’...