reference request: category of crystals on a scheme is locally noetherian

I’m looking for a reference to the fact that the category of crystals on any scheme is locally noetherian. This is stated in Gaitsgory’s paper “Crystals and D-modules” but he doesn’t provide a reference.

An idea of where to look would be very helpful, thanks very much.


Source : Link , Question Author : CameronJWhitehead , Answer Author : Community

Leave a Comment