Link
Notes on Geometric Langlands: DG Indschemes. (arXiv:1108.1738v1 [math.AG])»
We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern…