On uniqueness of tensor products of irreducible categorifications