ag.algebraic geometry - Categorical Künneth theorem for module categories

What is the relationship between the category of modules over a product $Xtimes Y$ and the pair of module categories over $X$ and $Y$ separately? Ideally here $X$ and $Y$ are smooth projective varieties and we are considering the DG category of complexes of $mathcal{O}_X$-modules (with possibly some coherence condition if needed).

A more specific question which I am interested in is: say you have two sheaves of DG commutative algebras X, Y, both modules over the sheaf of DG commutative algebras Z (all sheaves over the same space), then how is the category of DG modules of the pushout of X and Y along Z related to the module categories for X,Y.

It seems that in Section 17 of this paper by Frenkel and Gaitsgory, there is a result to the effect that $DGQCoh(Xtimes Y)$ is a categorical tensor product of the categories $DGQCoh(X)$ and $DGCoh(Y)$, but I do not understand it, so if it does indeed answer my question, I would appreciate some remarks which may clarify exactly what is proved there.

• Next peano arithmetic - "Interesting" properties of sets of natural numbers
• Previous gr.group theory - Results about the order of a group forcing a particular property.