1: \begin{abstract}

2:   In this paper, we propose an axiomatic definition for a {\bf tensor

3:     product categorification}. A tensor product categorification is an abelian category with a

4:   categorical action of a Kac-Moody algebra $\fg$ in the sense of

5:   Rouquier or Khovanov-Lauda whose Grothendieck group is isomorphic to

6:   a tensor product of simple modules.  However, we require a much

7:   stronger structure than a mere isomorphism of representations; most

8:   importantly, each such categorical representation must have a

9:   standardly stratified structure compatible with the categorification

10:   functors, and with combinatorics matching those of the tensor product.

11: 

12:  With these stronger conditions, we recover a uniqueness theorem

13:  similar in flavor to that of Rouquier for categorifications of simple

14:  modules.  Furthermore, we already know of an example of such a

15:  categorification: the representation category of an algebra $T^\bla$ previously

16:  defined by the second author using generators and relations.

17:  Next, we show that tensor product categorifications give a

18:  categorical realization of tensor product crystals analogous to that for

19:  simple crystals given by cyclotomic quotients of KLR algebras.

20: 

21: Examples of such categories are also readily found in more classical

22: representation theory; for finite and affine type A, tensor product

23: categorifications can be realized as quotients of the representation

24: categories of cyclotomic $q$-Schur algebras.

25: %

26: %One particularly interesting application is to the structure of

27: %category $\OCat$ for the Lie supalgebra $\mathfrak{gl}(m|n)$; we prove that this category

28: %$\OCat$ has a Koszul graded lift and show

29: %a generalization of a conjecture of Brundan relating the graded decomposition

30: %numbers in this category to a canonical basis in a tensor product

31: %representation of $U_q(\mathfrak{sl}_\infty)$.

32: \end{abstract}

33: