“…Definition The Kac–Moody 2‐ supercategory is the 2‐supercategory with objects , generating 1‐morphisms and for each and , and generating 2‐morphisms of parity , of parity , of parity and of parity , subject to certain relations. To record the relations among these generators, we switch to diagrams, representing the identity 2‐morphisms of and by and , respectively, and the other generators by We denote the th power of (under vertical composition) by First, we have the quiver Hecke superalgebra relations from …”