Morphisms in Derived Algebraic Geometry
Morphisms in Derived Algebraic Geometry
We give a characterization of morphisms in derived algebraic geometry in the more general context of morphisms in spectral algebraic geometry. Using this characterization, we prove two versions of Tannaka duality and the formal GAGA principle in the setting of derived algebraic geometry. We also show that quasi-compact and quasi-separated …