It is well known that Serre [FAC] gave us a nice categorical description for quasi coherent sheaves on projective scheme, it is a proj-category.(graded modules category localized by Serre subcategory)
Now, I wonder whether anybody has developed the proj-category formulation for ind-projective schemes.
It seems that Beilinson-Drinfeld have create some framework to deal with such kind of things, but I am not sure whether they talked about the categorical formulation for ind-Projective scheme in their book...
Of course, I can develop this by myself, however, If there exists some work, I will be happy to look at.
Thanks in advance