Condensed Learning Seminar

Define the category of solid quasi-coherent sheaves $\mathcal{D}_\blacksquare(X)$ on a rigid-analytic varity $X$. Show that this assignment comes with a natural $6$-functor formalism. Finally, prove the Grothendieck--Serre duality in the rigid-analytic context.