Localizations of tensor categories and fiber products of schemes

We prove that the tensor category of quasi-coherent modules $$\mathsf{Q}\mathsf{c}\mathsf{o}\mathsf{h}$(X \times_S Y)$ on a fiber product of quasi-compact quasi-separated schemes is the bicategorical pushout of $\mathsf{Q}\mathsf{c}\mathsf{o}\mathsf{h}(X)$ and $\mathsf{Q}\mathsf{c}\mathsf{o}\mathsf{h}(Y)$ over $\mathsf{Q}\mathsf{c}\mathsf{o}\mathsf{h}(S)$ in the $2$-category of cocomplete linear tensor categories. In particular, $\mathsf{Q}\mathsf{c}\mathsf{o}\mathsf{h}(X\times Y)$ is the bicategorical coproduct of $\mathsf{Q}\mathsf{c}\mathsf{o}\mathsf{h}(X)$ and $\mathsf{Q}\mathsf{c}\mathsf{o}\mathsf{h}(Y)$. For this we introduce idals, which can be seen as non-embedded ideals, and use them to study localizations of cocomplete tensor categories in general.