Derived ${\mathcal{O}}_k$-adic geometry and derived Raynaud localization theorem

Jorge António

The goal of the present text is to state and prove a generalization of Raynaud localization theorem in the setting of derived geometry. More explicitly, we show that the $\infty$-c…