Crystals and D-modules

Abstract

We develop the notion of crystal in the context of derived algebraic geometry, and to connect crystals to more classical objects such as D-modules.