Suppose I have a pair of locally presentable categories connected by an accessible functor. Then the preimage of an accessible subcategory of the codomain is an accessible subcategory of the domain. ...
Let $X$ be a smooth variety over an algebraically closed field $k$ of char. $0$. 1) Is the abelian category $M(X)$ of $D$-modules on $X$, which are quasi-coherent as $O$-modules, a Grothendieck ...