On 2-Verma modules for quantum sl(2)

In this paper we study the superalgebra An, introduced by the authors in previous work on categorification of Verma modules for quantumsl2. The superalgebra An is akin to the nilHecke algebra, and shares similar properties. We also prove a uniqueness result about 2-Verma modules on k-linear 2-categories.