It seems the notion of tensor product of abelian categories exists naturally. 
Does someone know the reference of the construction?



Tensor product of abelian categories
Deligne's article, 'Categories Tannakiennes,' section 5 would be a good place to look. It was published in the Grothendieck Festschrift, vol. 2.


