  In this paper, we propose an axiomatic definition for a tensor product
categorification. A tensor product categorification is an abelian category with
a categorical action of a Kac-Moody algebra g in the sense of Rouquier or
Khovanov-Lauda whose Grothendieck group is isomorphic to a tensor product of
simple modules. However, we require a much stronger structure than a mere
isomorphism of representations; most importantly, each such categorical
representation must have standardly stratified structure compatible with the
categorification functors, and with combinatorics matching those of the tensor
product. With these stronger conditions, we recover a uniqueness theorem
similar in flavor to that of Rouquier for categorifications of simple modules.
Furthermore, we already know of an example of such a categorification: the
representations of algebras T^\lambda previously defined by the second author
using generators and relations. Next, we show that tensor product
categorifications give a categorical realization of tensor product crystals
analogous to that for simple crystals given by cyclotomic quotients of KLR
algebras. Examples of such categories are also readily found in more classical
representation theory; for finite and affine type A, tensor product
categorifications can be realized as quotients of the representation categories
of cyclotomic q-Schur algebras.
