A classification of injective FI${}^m$-modules

In this paper we generalize a shift theorem, which plays a key role in studying representations of FI${}^m$, the product category of the category of finite sets and injections, and classify finitely generated injective FI${}^m$-modules over a field of characteristic 0.