All Questions

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’...

Let $\mathcal{C}$ be the $E_k$-monoidal $\infty$-category of left modules over a fixed connective $E_{k+1}$-ring spectrum $A$. Suppose that $M$ is an object of $\mathcal{C}$ which is an $E_0$-algebra, ...

Suppose I am given two $E_2$-ring spectra $A$ and $B$ and a morphism of $E_2$-rings $\phi:A\to B$. Then I have $E_1$-monoidal categories of modules $LMod_A$ and $LMod_B$. Moreover I have morphisms $F:...