It is well-know that the category of coherent D-modules over a smooth algebraic $k$-scheme is a Tannakian category. So it is equivalent to the category of finite representations of some affine group scheme G/k. My question is do we have the similar statement for quasi-coherent D-modules? I hope that the category of quasi-coherent D-modules is equivalent to the representation (not necessarily finite) category of some affine group schemes. Is that true, is there any reference for that?
I hope that any quasi-coherent D-module is the union of its coherent sub D-modules. If the answer to the above question is true then this is true. If the above is wrong. I still believe this is true. At least I think it is true for char$k$=0, where a quasi-coherent D-module is a quasi-coherent sheaf with a flat connection. If this is true, could you give me any reference?